求证f(x)=x3在R为增函数