From Wikipedia:
The infinite monkey theorem states that a monkey hitting keys at random on a typewriter keyboard for an infinite amount of time will almost surely type a given text, such as the complete works of William Shakespeare.
This can be formally proven using the second Borel-Cantelli Lemma, a topic which requires measure-theoretic probability. Thus leading me to one of the driest observations that I’ve ever read in a graduate-level textbook, following the proofs of the Borel-Cantelli Lemmas:
The record of a prolonged coin-tossing game is bound to contain every conceivable book in the Morse code [using heads for dot and tails for dash], from Hamlet to eight-place logarithmic tables. It has been suggested that an army of monkeys might be trained to pound typewriters at random in the hope that ultimately great works of literature would be produced. Using a coin for the same purpose may save feeding and training expenses and free the monkeys for other monkey business.
W. Feller, An Introduction to Probability Theory and Its Applications, Volume 1 (Chapter 8.3), page 202.