ある正の数をaとし、aより十分小さい数をbとおく。

a−b−b−b…

と繰り返せば、いずれ0または負の数になる。