已知不等式3(1-x)