自然数n、kがある。
n/kが整数でない場合、最も近い整数と少なくとも1/kの差があることを証明せよ。