P
Initializing...
Theorem 2.2, pp. 4–5 — chains to the unit rows give ρ(F) ≤ (1 − (1 − α₁)α₂^{|C*|})^{1/(|C*|+1)} < 1 · Prove2Me