不等式的计算