凸函数在证明不等式中的运用