The proof is a simple consequence of the definition and of the comparison property. Let
m
and M be the infimum and supremum of the function in [a,b], and consider the two
constant functions g(x)=m and h(x)=M. Then g(x)≤f(x)≤h(x)
and
, that is
. The result
immediately follows.