Cauchy-Folge

$$\begin{array}{c}\forall ϵ>0\exists n_0\in \mathbb{N}\forall m,n⩾n_0:\Vert x_n-x_m\Vert <ϵ\end{array}$$