已知不等式3a-x