P
Initializing...
Lemma 1 — Fejér monotone sequences with cluster points in C converge to a point of C · Prove2Me