不等式(3)