已知不等式5x-2