qが有理数のとき、n ≤ q < n + 1 を満たす整数n が存在することを示せ。