P
Initializing...
Lemma 3.2 — Chebyshev for sums of independent [0,1] variables: Pr[|X − μ| ≥ α] ≤ μ/α² · Prove2Me