∑<∞⇒P(🎯∞)=0

#borel-cantelli #probability sum convergence #finitely many events #measure theory #sequence of events