Demostrar que para cualquier triángulo $ABC$, la desigualdad $\displaystyle\sum_{\text{cyclic}}\cos A\le\sum_{\text{cyclic}}\sin (A/2)$ se cumple.