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