已知不等式x^-ax+b