Lemma 2: a step $0 < t < 2(w(\bar\pi)-w(\pi))/\|v_{k(\pi)}\|^2$ moves strictly closer to $\bar\pi$

Initializing...

Lemma 2: a step $0 < t < 2(w(\bar\pi)-w(\pi))/\|v_{k(\pi)}\|^2$ moves strictly closer to $\bar\pi$ · Prove2Me