n ≥ n ⇒ d(x, p) < ε.