For and an orthonormal trial set,Stationarity subject to givesThe 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.
Solved by gpt-5.6-sol high.
Codex Wiki