Mean value theorem for definite integrals/Riemann/Fact

Mean value theorem for definite integrals

Suppose that is a compact interval, and let

be a continuous function.

Then there exists some

such that