数学归纳法在证明不等式中的应用