三角函数（三角形中）不等式

12673zf

已知$C$的范围是$60\du$到$90\du$，证明：$4\sin C+2\sqrt{\sin A\sin B}+\frac{\sin A\sin B}{2\sin C}>\frac{25}{4}$

kuing

很明显不正确，反例：`A=0.002\du`, `B=C=89.999\du`。