This is LaTeX code:
[latex]
\forall n\in\mathbb{N},n\geq n_0, \Rightarrow x_n\in K(x_0,\epsilon /2)
[/latex]