令 SℓS_\ellSℓ 为进行 ℓ\ellℓ 次操作后黑板上所有数的倒数平方和。前一步估计说明 SℓS_\ellSℓ 单调不减,初始 S0=1/r2S_0=1/r^2S0=1/r2。因此 Sk2−1≥1/r2S_{k^2-1}\ge1/r^2Sk2−1≥1/r2。