自明ｗ

どうしてもというのなら、r以上の整数のうち最小のものをmとする。
r+1≦m が成り立つと仮定すれば、r≦m-1となり矛盾する。
したがって、背理法よりr+1 > m