f : A → ℝ is called Lipschitz_continous on A if ∃C > 0 such that ∀x1, x1 ∈ A : |f(x1) − f(x2)| ≤ X|x1 − x2| If f has a bounded derivative, then f is Lipschitz_continous.