Functions of the types just listed are said to be monotonic on the set E.
Assume that the numbers (or symbols —oo or +00) i = inf E and
s = supE are limit points of the set E, and let / : E —> R be a monotonic
function on E. Then the following theorem holds.