用定义试证明y=x³-b在R上是增函数