P
Initializing...
Proof of Lemma B.1, p. 21 — for the step sizes (4.2), α = 1 + β · Prove2Me