Borel-Cantelli first lemma

For arbitrary events $A_n$ in one probability space,Equivalently, only finitely many events occur almost surely; no independence is needed.^[ref]

Proof outline: put $B_m={\bigcup }_{n\ge m}{A}_n$. The union bound givesThe tail of a convergent nonnegative series tends to zero.