Convergent implies Cauchy

Convergent implies Cauchy: Let $(X,d)$ be a metric space and let $(x_n)$ be a sequence in $X$. If $x_n\to x$ for some $x\in X$, then $(x_n)$ is a Cauchy sequence : $\forall\varepsilon>0\;\exists N\;\forall m,n\ge N:\ d(x_n,x_m)<\varepsilon.$

This lemma is a standard one-way implication in completeness arguments.