Mean value estimate
A bound on the change in a function in terms of a bound on its derivative.
Mean value estimate lemma: Let be continuous on and differentiable on . If there exists such that for all , then
Remarks
This is an immediate quantitative consequence of the mean value theorem and is a standard step in results like bounded derivative implies uniform continuity.