lim【x→0】f（x）/x＝0，有两推论，即①lim【x→0】f（x）＝0，②x→0时，f（x）是x的高阶无穷小。如果①不成立，则有lim【x→0】f（x）＝k，k≠0，则lim【x→0】f（x）/x＝k/0＝∞≠0。即假设不成立。
