P
Initializing...
Lemma 11 — Σₜ uₜᵀVₜ⁻¹uₜ ≤ n log(r²T/ε + 1) · Prove2Me