A function f : [a, b] -> R is said to satisfy a Lipschitz condition with Lipschitz constant L _ 0 on a, b if, for every x, y E [a, b], we have If (x) - f(y) |