ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3062 on R1338: Probabilistic Borel-Cantelli lemma

P3062

This result is a particular case of R1234: Borel-Cantelli lemma. $\square$