若不等式x^2-logm(x)