Just as the lowest eigenvalue has been shown to be an upper bound to the
exact ground-state energy, more generally, any eigenvalue Ei can be
shown to be an upper bound to the corresponding exact excited state energy
[14]. In fact, one can also show that as other
N-electron basis functions are added to the CI procedure, the eigenvalues
obey the MacDonald-Hylleraas-Undheim relations
[14,15]