P
Initializing...
Lemma 3, p. 36 — for π ∈ Π_AP and k > q: λ_H^{k−q} π_q ≤ π_k ≤ λ^{k−q} π_q; π_k ∈ (0, 1) when λ_H > 0 · Prove2Me