已知不等式3x-k