Let $f:U \subset \mathbb{R^n} \to \mathbb{R}^n$ be totally differentiable and there exists a constant $c > 0$, so that
$$\forall x,y \in \mathbb{R^n}: x,y \in U => \left\lVert f(x) - f(y) \right\rVert \geq c \left\lVert x - y \right\rVert$$
Prove that $\det f'(x) \neq 0$ for all $x \in U$ and that $f:U \to f(U)$ is globally invertible.
I thought of choosing arbitrary $x$ or $y$, but constant in $U$. What I had problems with was trying to rewrite $f(x) - f(y)$ and using the fact that a linear function of $\mathbb{R^n}$ to $\mathbb{R}^n$ is injective iff only the zero vector maps to the zero vector.
Could someone help me with this?