Eigenvalue λ_k = max_{dim V = k} min_{x ∈ V} ⟨Ax,x⟩/⟨x,x⟩ for Hermitian A. Weyl's inequalities for eigenvalue perturbations.