P
Initializing...
Eq. (89), p. 21 (proof of Lemma 19) — Chernoff bound: 2^{−2b} Σ_{i=j+1}^{b} C(2b, b+i) ≤ e^{−j²/b} · Prove2Me