充分性：
ψ(x)=0,x>=1时,f(x)=(x^3-1)ψ(x),f'(x)=3x^2ψ(x)+(x^3-1)ψ'(x),故f'(1)=f'(1+)=3ψ(1)+0*ψ'(1)=0
x