State and prove the first Borel-Cantelli Lemma.
Suppose that (Fn) is a sequence of events in a common probability space such that P(Fi∩Fj)⩽P(Fi)⋅P(Fj) whenever i=j and that ∑nP(Fn)=∞.
Let 1Fn be the indicator function of Fn and let
Sn=k⩽n∑1Fk;μn=E(Sn)
Use Chebyshev's inequality to show that
P(Sn<21μn)⩽P(∣Sn−μn∣>21μn)⩽μn4
Deduce, using the first Borel-Cantelli Lemma, that P(Fn infinitely often )=1.