The extremal Rayleigh quotients of a self-adjoint operator are the extremal spectral values. In particular, a Hamiltonian with a discrete spectrum satisfies , with equality precisely on its ground-state eigenspace. More generally, minimizing over states orthogonal to the first eigenspaces gives an upper bound on .
Codex Wiki