已知不等式3(1-x) (8