将最终总和的上界与其单调下界结合,得 k2/s2≥Sk2−1≥1/r2k^2/s^2\ge S_{k^2-1}\ge1/r^2k2/s2≥Sk2−1≥1/r2。取正平方根得 s≤krs\le krs≤kr,所以黑板上存在不超过 krkrkr 的数。