P
Initializing...
Lemma 4.3, pp. 33–34 — exponentially weighted row sums of D = Σ Cⁿ are at most 1/(1 − c) · Prove2Me