P
Initializing...
Theorem 6.1, proof — $0 \le z^TAz \le n\lambda_n \le \frac{n}{\mathrm{rank}(A)}\mathrm{trace}(A)\kappa_f(A)$ when $z^Tz = n$ · Prove2Me