＞mにすべての自然数を代入すると、m^3から(m+1)^3の範囲はすべての自然数となる。
ここはもうちょっと気を使って説明したほうがいいと思う
結局ここで数学的帰納法みたいな論調を使わないといけないっぽ