ThmDex – An index of mathematical definitions, results, and conjectures.
P2072
Since $f$ is Lipschitz, there is $M \geq 0$ such that $d_Y(f(x), f(y)) \leq M d_X(x, y)$ for every $x, y \in X$. This is precisely the condition for Hölder-continuity with $\alpha = 1$. $\square$