已知不等式x^2-a^x