P
Initializing...
Lemma 3.1 — Bernoulli tail: Pr[X > 3 log m / log log m] ≤ 1/m² · Prove2Me