Borel-Cantelli lemmas
= 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.