P
Initializing...
Lemma 1, Case 2 — a Fejér-monotone sequence converges or its limit points lie on a sphere with axis $L_r$ · Prove2Me