Take . Then and . Also , because , so the needed block lengths are below for large .
If , then . Markov's inequality gives
For , the expected count satisfies . Part (ii) bounds its variance by , so Chebyshev's inequality gives
Combining the tails proves
The blocks are consecutive in the cyclic order throughout; this is not the longest increasing subsequence with arbitrary omitted positions.