当 ℓ≥2\ell\ge2ℓ≥2 时，a1=2ℓ≥4a_1=2^\ell\ge4a1=2ℓ≥4，故大值规则反复将指数减 111（每一项都是二的整数次幂），直至到达 a=21=2a=2^1=2a=21=2。从 a=2a=2a=2 出发（当 ℓ=1\ell=1ℓ=1 时也直接如此）：因 2<42<42<4，an+1=4+4=8a_{n+1}=4+4=8an+1=4+4=8；因 8≥48\ge48≥4，减半得 444；因 4≥44\ge44≥4，减半得 222，回到循环 2→8→4→2→⋯2\to8\to4\to2\to\cdots2→8→4→2→⋯ 的起点。此循环中的每一项，以及从 2ℓ2^\ell2ℓ 开始的初始下降中的每一项，都是正整数。因此 ℓ≥1\ell\ge1ℓ≥1 时 a1=2ℓa_1=2^\ella1=2ℓ 产生全为整数的数列。