素晴らしいわ
正解だと思うわ

> Q(n) が整数でない場合は、Q(n) は一番近い整数から 1/d 以上離れているから

これ、f(ℝ-ℚ)⊂ℝ-ℚとなるf∈ℝ[X]の時に出てきたわよね？