f : R → R は任意の x, y に対し、

f(y) - f(x) ≦ (y - x)^2

を満たすという。

f は定数値関数であることを証明せよ。