P
Initializing...
Theorem 6.1, proof — $\mathrm{trace}(A)\,\kappa_f(A) \ge \mathrm{rank}(A)\,\lambda_n$ · Prove2Me