By Tonelli theorem for the nonnegative indicators,If this is finite, then is finite almost surely: alternatively, Markov inequality givesSince for every ,This is the first Borel-Cantelli lemma.
Write . Independence gives, first for finite partial counts and then by monotone convergence,Using factor by factor,
If , part (b) givesThus almost surely. By the convention in the question, this occurs exactly when . ThereforeThis is the second Borel-Cantelli lemma for independent events.
Divide the keystrokes into disjoint blocks of five, and let be the event that block is exactly HELLO. The events are independent events, andConsequentlyPart (c) shows that infinitely many of these block events occur almost surely. Each occurrence is an occurrence of HELLO in the full typed sequence, so
Articles by others on the same topic
There are currently no matching articles.