Uniform convergence implies uniform Cauchy

Uniform convergence implies uniform Cauchy: Let $X$ be a set and let $(f_n)$ be functions $f_n:X\to (Y,d)$ into a metric space . If $f_n\to f$ uniformly on $X$, then $(f_n)$ is uniformly Cauchy : $\forall\varepsilon>0\;\exists N\;\forall m,n\ge N:\ \sup_{x\in X} d(f_n(x),f_m(x))<\varepsilon.$

This is the Cauchy criterion direction for uniform convergence and is often the easiest way to prove uniform convergence: show uniform Cauchy in a complete codomain.