Prove that the function f given by f(x) = log cos x is strictly decreasing on and strictly increasing on