じゃあ問題変えよか
次を示せ:
Σ_(k=1,[√n]) n/k-[n/k] = (1/2)√n + O(n^(10/21))