By Tonelli theorem for the nonnegative indicators,
If this is finite, then is finite almost surely: alternatively, Markov inequality gives
Since 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) gives
Thus almost surely. By the convention in the question, this occurs exactly when . Therefore
This 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, and
Consequently
Part (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 (0)

There are currently no matching articles.