已知fx=x^3-ax在[1,正无穷大)上是单调增函数