Borel–Cantelli lemma (source code)

= Borel–Cantelli lemma
{wiki=Borel–Cantelli_lemma}