(3.2) / (3.7) — a non-convergent infinite relaxation sequence has step lengths bounded away from 0

Initializing...

(3.2) / (3.7) — a non-convergent infinite relaxation sequence has step lengths bounded away from 0 · Prove2Me