Lemma 3, Case 1: with $0<\varepsilon<\lambda_m\le 2$ the relaxation iterates enter $P_{\bar w}$ or converge to its boundary

Initializing...

Lemma 3, Case 1: with $0<\varepsilon<\lambda_m\le 2$ the relaxation iterates enter $P_{\bar w}$ or converge to its boundary · Prove2Me