質問します。

連続関数fが、
 「f(0)=0で、かつs≦f(t)をみたす任意の正数s,tに対しf(s)≦f(t)が成立つ」
をみたすなら、x≧0においてf(x)≦x が成り立つといえますか。