ThmDex – An index of mathematical definitions, results, and conjectures.
F7187
Formulation 0
Let $M = (\mathbb{R}, d)$ be the D4369: Standard real metric space such that
(i) \begin{equation} x : \mathbb{N} \to \mathbb{R}, \quad x_n : = (-1)^n \end{equation}
Then
(1) $x(\mathbb{N}) \subseteq B(0, 11/10)$
(2) $x$ is not a D65: Cauchy sequence in $M$