已知f(x)=x3-x,在0,a上单调性递减