Suppose that f is continuous at a. Pick any ε>0. By definition, there exists δ>0 such that
∣x−a∣<δ⟹∣f(x)−f(a)∣<2ε⟹−2ε+f(a)<f(x)<2ε+f(a)⟹−2ε−f(a)<f(x)<2ε−f(a).Hence, it follows that for all x and y,
∣x−a∣<δ∧∣y−a∣<δ⟹∣f(x)−f(a)∣<2ε∧∣f(y)−f(a)∣<2ε⟹−ε<f(x)−f(y)<ε.