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$ |

(i) | $\lim x$ is the D3000: Set of sequence limit points of $x$ in $M$ |

Then
\begin{equation}
|\lim x|
= 1
\end{equation}