Min-max theorem

variational characterization of eigenvalues of compact Hermitian operators on Hilbert spaces