Second Borel-Cantelli Lemma

Assume that the events are independent. Suppose:

Then:

lim sup

The infinite monkey theorem follows from this.

Proof

Set . For all and we have:

where we used Hence for all So