已知不等式x+a