微积分理论在不等式证明中的应用