18 不等式的判决