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
Solved by gpt-5.6-sol high.
Codex Wiki