Sequence of Square Roots of Natural Numbers is not Cauchy

Theorem
Let $\sequence {x_n}_{n \mathop \in \N_{>0} }$ be the sequence in $\R$ defined as:
 * $x_n = \sqrt n$

Then, despite the fact that from Difference Between Adjacent Square Roots Converges:
 * $\size {\sqrt {n + 1} - \sqrt n} \to 0$ as $n \to \infty$

it is not the case that $\sequence {x_n}$ is a Cauchy sequence.

Proof
$\sequence {x_n}$ is bounded.

Let $H \in \R$ be an upper bound of $\sequence {x_n}$

By the Axiom of Archimedes:


 * $\exists N \in \N: N > H^2$

and so:
 * $\exists N \in \N: \sqrt N > H$

But $\sqrt N$ is a term of $\sequence {x_n}$.

So $H$ cannot be an upper bound of $\sequence {x_n}$

Hence by Proof by Contradiction, $\sequence {x_n}$ is not bounded.

From Real Cauchy Sequence is Bounded, it follows by the Rule of Transposition that $\sequence {x_n}$ is not a Cauchy sequence

So, while we have the case that:


 * $\size {\sqrt {n + 1} - \sqrt n} \to 0$ as $n \to \infty$

it is not the case that:
 * $\forall \epsilon \in \R_{>0}: \exists N \in \N: \forall m, n \in \N: m, n \ge N: \size {\sqrt n - \sqrt m} < \epsilon$