P

Initializing...

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