Let $M = (X, \mathcal{T}_d, d)$ be a D1107: Metric space such that
(i) | $x : \mathbb{N} \to X$ is a D336: Convergent sequence in $M$ |
Then $x$ is a D65: Cauchy sequence in $M$.
(i) | $x : \mathbb{N} \to X$ is a D336: Convergent sequence in $M$ |