Borel-Cantelli lemmas (source code)

= Borel-Cantelli lemmas
{c}

= Borel-Cantelli lemma
{c}
{synonym}

If $\sum\mathbb P(A_n)<\infty$, only finitely many $A_n$ occur almost surely. For independent events, divergence implies infinitely many occur. Use a union bound for the first and $\prod(1-p_n)\le e^{-\sum p_n}$ for the second.