>>98
x(n+1)≧x(n)と仮定して矛盾を示す
このときに、f(x)が単調増加のとき、
f(x)≧f(y)⇔x≧yとなることと、(1)を使う