Integer Reciprocal Space contains Cauchy Sequence with no Limit

Theorem
Let $A \subseteq \R$ be the set of all points on $\R$ defined as:
 * $A := \left\{{\dfrac 1 n : n \in \Z_{>0}}\right\}$

Let $\left({A, \tau_d}\right)$ be the integer reciprocal space under the usual (Euclidean) topology.

Then $A$ has a Cauchy sequence which has no limit point in $A$.

Proof
Let $\left \langle{x_n}\right\rangle$ be the sequence $1, \dfrac 1 2, \dfrac 1 3, \ldots$

Let $\epsilon \in \R_{>0}$ be a (strictly) positive real number.

By the Archimedean Principle:
 * $\exists \N \in n: n > \dfrac 1 e$

and so:
 * $\exists \N \in n: \dfrac 1 n < e$

As:
 * $0 < \dfrac 1 {n + 1} < \dfrac 1 n$

it follows that:
 * $\left|{\dfrac 1 n - \dfrac 1 {n + 1}}\right| < \epsilon$

and so $\left \langle{x_n}\right\rangle$ is a Cauchy sequence.

From Sequence of Powers of Reciprocals is Null Sequence, $\left \langle{x_n}\right\rangle$ is a basic null sequence.

That is:
 * $\displaystyle \lim_{n \mathop \to \infty} \frac 1 n = 0$

As $0 \notin A$, the result follows.