Lemma B.1, p. 21 — x_s = x^π + B_π^{s−1}(x_1 − x^π) for all s ≥ 1 (x_1 for the printed, undefined x_0)

Initializing...

Lemma B.1, p. 21 — x_s = x^π + B_π^{s−1}(x_1 − x^π) for all s ≥ 1 (x_1 for the printed, undefined x_0) · Prove2Me