f(x)=-x3+1证明单调性