我们通过数论分块把 $[1, n]$ 中的数划分成若干个区间 $[l_i, r_i]$。

求证：对于任意的 $r_i$ ， 存在一个 $j$ 满足 $r_j = n / r_i$ （下取整）