Proof of Theorem 3.19, p. 295 — λ_{t−1} ≥ t/2 for t ≥ 2 · Prove2Me

P

Initializing...

Proof of Theorem 3.19, p. 295 — λ_{t−1} ≥ t/2 for t ≥ 2 · Prove2Me