QPaperGen

Prove that the function \( f(x) = \log \cos x \) is strictly decreasing on \( \left( 0, \frac{\pi}{2} \right) \) and strictly increasing on \( \left( \frac{\pi}{2}, \pi \right) \).