Cauchy Sequence in Positive Integers under Usual Metric is eventually Constant

Theorem
Let $\Z_{>0}$ be the set of (strictly) positive integers.

Let $d: \Z_{>0} \times \Z_{>0} \to \R$ be the usual (Euclidean) metric on $\Z_{>0}$.

Let $\left\langle{x_n}\right\rangle$ be a Cauchy sequence in $\left({\Z_{>0}, d}\right)$.

Then:
 * $\exists m, n \in \Z_{>0}: \forall r > n: x_r = m$

That is, $\left\langle{x_n}\right\rangle$ is eventually constant.

Proof
Let $\left\langle{x_n}\right\rangle$ be a Cauchy sequence in $\left({\Z_{>0}, d}\right)$.

By definition:
 * $\forall \epsilon \in \R_{>0}: \exists N \in \N: \forall m, n \in \N: m, n \ge N: d \left({x_n, x_m}\right) < \epsilon$

Let $\epsilon < 1$, say: $\epsilon = \dfrac 1 2$.

By the definition of $d$:
 * $\forall m, n \in \N: x_m \ne x_n \implies d \left({x_m, x_n}\right) \ge 1$

So the only possible way for: $\forall m, n \in \N: m, n \ge N: d \left({x_n, x_m}\right) < \epsilon$ is for $x_m = x_n$.

Hence the result.