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.