dy与函数增量的无穷小比较