不等式(4)