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.