已知不等式3x-1