Let f be a real valued function on R. Suppose that f has a finite derivative for every x [a, b], and that f ' is integrable over [a, b]. Prove that x f ( x ) f (a ) f ' for all x [a, b]. a Note that the integration and differentiation done is Lebesgue integration and measure theory Real Analysis , Royden \f\f