para todo ε > 0, hay un n tal que n ≥ n implica que d(x, x) < ε/2.