Mean value inequality
A bound on the change of a differentiable map using a bound on its derivative.
Mean value inequality. Let be open, let be continuously differentiable, and suppose the line segment lies in . If satisfies
where is the operator norm, then
Remarks
For , this gives .