$x,y,z\in\left(0,\frac{\pi}{2}\right)$ are given. Prove that: \[ \frac{x\cos x+y\cos y+z\cos z}{x+y+z}\le \frac{\cos x+\cos y+\cos z}{3} \]
Problem
Source: Tournament of Towns, Fall 2002, Senior O Level, P4
Tags: inequalities, trigonometry, inequalities proposed