Mean value theorem for definite integrals/Riemann/Fact/Proof

Proof

On the compact interval, the function is bounded from above and from below, let and denote the minimum and the maximum of the function. Due to fact, they are both obtained. Then, in particular, for all , and so

Therefore, with some . Due to the Intermediate value theorem, there exists a such that .