đpcm $\Leftrightarrow \prod (2sin^2\frac{A}{2})\geq\prod cosA$
$\Leftrightarrow \prod\frac{2sin^2\frac{A}{2}}{sin\frac{A}{2}}\geq\prod cotA$
$\Leftrightarrow \prod tan\frac{A}{2}\geq\prod cotA$
$\Leftrightarrow \prod cot\frac{A}{2}\leq\prod tanA$
$\Leftrightarrow \sum tanA\geq\sum cot\frac{A}{2}$
Ta có: $tanA+tanB=\frac{sin(A+B)}{cosAcosB}=\frac{2sin(A+B)}{cos(A+B)cos(A-B)}\geq\frac{2sinC}{1-cosC}=\frac{2.2sin\frac{C}{2}cos\frac{C}{2}}{2sin^2\frac{C}{2}}=2cot\frac{C}{2}\Rightarrow$ đpcm
Dấu tương đương thứ 5, từ tích thành tổng, không hiểu lắm