>>825
(1)
a<=b<=cとしても一般性は失われない
f(x)が増加関数なので
a<=bより
f(a)<=f(b)
⇔b<=c
∴f(b)<=f(c)
⇔c<=a
∴a<=b<=c<=a
∴a=b=c