Q40 Matemática  (Tournament Of Towns 2002)

$x,y,z\in \left(0,\frac{\pi }{2}\right)$ são fornecidos. Prove que: $$\frac{x\cos x+y\cos y+z\cos z}{x+y+z}\le \frac{\cos x+\cos y+\cos z}{3}$$