>>16を読んでふと思ったんだが、
連続な関数f(x)において、
f(x+1)>f(x)
がすべての実数xに対して成り立つとき、f(x)は単調増加
ってしてよいんだよな?