Dedúcese da condición do enunciado, do feito de que, para a < b,

e do Teorema de caracterización global da continuidade.