怎么用定义证明这个函数的无穷小量啊?TAT