Borel-Cantelli lemmas

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.