不等式计算