Let $f:K\to K$ with $\|f(x)-f(y)\|\geq ||x-y||$ for all $x,y$. Show that equality holds and that $f$ is surjective.
Can this intuition give a proof that an isometry $f:X \to X$ is surjective for compact metric space $X$?