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