How do you use the Intermediate Value Theorem to show that the polynomial function #f(x) = -1 + 3 cos x# has a root in the interval [0, 5pi/2]?