根据不等式的传递性实现极值的替换