# Real Analysis Proof Verificaition

Suppose $f$ is defined on all of ${\Bbb R}$, and satisfies, $|f(x)-f(y)|\leq(x-y)^2$ for all $x,y\in {\Bbb R}$. Prove that $f$ is constant.

Basically I have,

$|f(x)-f(y)|\leq(x-y)^2 \Rightarrow \frac{|f(x)-f(y)|}{(x-y)}\leq(x-y)$.

$\Rightarrow \lim_{\ x\to\ y}\frac{|f(x)-f(y)|}{(x-y)}\leq \lim_{\ x\to\ y}(x-y)$.

$\Rightarrow f^{'}(x)\leq 0, \ \forall x\in{\Bbb R}$.

Case 1: if $f^{'}(x)= 0$ then we're done.

Case 2: if $f^{'}(x)< 0$???

-

You've really shown more: Using the fact that $(x - y)^2 = |x - y|^2$, we have
$$0 \le \left|\frac{f(x) - f(y)}{x - y}\right| \le |x - y|$$
Now take the limit as $y \to x$, and we see from the Squeeze (Sandwich) Theorem that
$$0 \le |f'(x)| \le 0$$