设,,则 (1); (2); (3),其中.
证 ,.,,其中由无穷小运算法则,得 (1)成立. . (2)成立. ,注意到,又 于是存在某个时刻,从该时刻起, ,故有界, (3)成立.推论1 如果存在,而为常数,则
即:常数因子可以提到极限记号外面.推论2 如果存在,而是正整数,则
.