§1 — an infinite relaxation sequence with $0 < \lambda \leqslant 2$ is Fejér-monotone

Initializing...

§1 — an infinite relaxation sequence with $0 < \lambda \leqslant 2$ is Fejér-monotone · Prove2Me