2.2.5 Intermediate Value Theorem and Local Extrema