1. 基本形式

對于 ?∞$/frac{/star}{/infty}$（分母為無窮大，分子無要求），設兩數列 an,bn${a_n}, {b_n}$，滿足：

如果有 limn→∞an+1?anbn+1?bn=L$/lim/limits_{n/to /infty}/frac{a_{n+1}-a_n}{b_{n+1}-b_n}=L$（L$L$ 為有限實數），則：

limn→∞anbn=limn→∞an+1?anbn+1?bn=L $$/lim/limits_{n/to /infty}/frac{a_n}{b_n}=/lim/limits_{n/to /infty}/frac{a_{n+1}-a_n}{b_{n+1}-b_n}=L$$

2. 等價形式

3. 簡單應用

算法的時間復雜度相關的分析證明中，常見的一個結論是：

limn→∞logn!nlogn=1 $$/lim/limits_{n/to /infty}/frac{/log n!}{n/log n}=1$$

證明：

limn→∞logn!nlogn===limn→∞log(n+1)!?logn!(n+1)log(n+1)?nlognlimn→∞log(n+1)nlog(1+1n)+log(n+1)limn→∞log(n+1)1+log(n+1)=1 $$/begin{split}/lim/limits_{n/to /infty}/frac{/log n!}{n/log n}=&/lim/limits_{n/to /infty}/frac{/log (n+1)!-/log n!}{(n+1)/log (n+1)-n/log n}//=&/lim/limits_{n/to /infty}/frac{/log (n+1)}{n/log(1+/frac1n)+/log (n+1)}//=&/lim/limits_{n/to /infty}/frac{/log(n+1)}{1+/log(n+1)}=1/end{split}$$