Prove a real-valued function is monotonic if it is continuous on an open interval and has no local extremes
A continuous function that attains neither its minimum nor its maximum at any open interval is monotone