For and an orthonormal trial set,
Stationarity subject to gives
The finite-subspace variational method, equivalently the Rayleigh-Ritz variational principle, says that the minimum quotient is the smallest eigenvalue of . It is therefore the optimal upper bound on available from this span.