|  |
| --- |
| 系列條目 |
| 微积分学 |
|  |
| 
* 函数
* 极限论
* 微分学
* 积分

* 微积分基本定理
* 微积分发现权之争（英语：）

 |
| 基础概念（含极限论和级数论）

| 
實數性質 |
| --- |
| 函数 · 单调性 · 初等函数 · 數列 · 极限 · 实数的构造（1=0.999…） · 无穷（銜尾蛇） · 無窮小量 · ε-δ語言 · 实无穷（英语：） · 大O符号 · 最小上界 · 收敛数列 · 芝诺悖论 · 柯西序列 · 单调收敛定理 · 夹挤定理 · 波尔查诺-魏尔斯特拉斯定理 · 斯托尔兹-切萨罗定理 · 上极限和下极限 · 函數極限 · 渐近线 · 邻域 · 连续 · 連續函數 · 不连续点 · 狄利克雷函数 · 稠密集 · 一致连续 ·  · 海涅-博雷尔定理 · 支撑集 · 欧几里得空间 · 点积 · 外积 · 三重积 · 拉格朗日恒等式 · 等价范数 · 坐標系 · 多元函数 · 凸集 · 巴拿赫不动点定理 · 级数 · 收敛级数（英语：） · 几何级数 · 调和级数 · 項測試 · 格兰迪级数 · 收敛半径 · 审敛法 · 柯西乘积 · 黎曼级数重排定理 · 函数项级数（英语：） · 一致收斂 · 迪尼定理 |
| 
數列與級數 |
| 
連續 |
| 
函數 |

 |
| 一元微分

|  |
| --- |
| 差分 · 均差 · 微分 · 微分的线性（英语：） · 导数（流数法 · 二阶导数 · 光滑函数 · 高阶微分 · 莱布尼兹记号（英语：） · 幽灵似的消失量） · 介值定理 · 中值定理（罗尔定理 · 拉格朗日中值定理 · 柯西中值定理） · 泰勒公式 · 求导法则（乘积法则 · 广义莱布尼茨定则（英语：） · 除法定则 · 倒数定则 · 链式法则） · 洛必达法则 · 反函数的微分 · Faà di Bruno公式（英语：） · 对数微分法 · 导数列表 · 导数的函数应用（单调性 · 切线 · 极值 · 驻点 · 拐点 · 求导检测（英语：） · 凸函數 · 凹函數 · 簡森不等式 · 曲线的曲率 · 埃尔米特插值） · 达布定理 · 魏尔施特拉斯函数 |

 |
| 一元积分

|  |
| --- |
| * 积分表
 |
| 
定义 |
| * 不定积分
* 定积分
* 黎曼积分
* 达布积分
* 勒贝格积分
* 积分的线性
 |
| 
求积分的技巧（换元积分法 · 三角换元法 · 分部积分法 · 部分分式积分法 · 降次积分法） 微元法 · 积分第一中值定理 · 积分第二中值定理 · **微积分基本定理** · 反常積分 · 柯西主值 · 積分函數（Β函数 · Γ函数 · 古德曼函数 · 椭圆积分） · 數值積分（矩形法 · 梯形公式 · 辛普森積分法 · 牛顿-寇次公式） · 积分判别法 · 傅里叶级数（狄利克雷定理 · 周期延拓） · 魏尔施特拉斯逼近定理 · 帕塞瓦尔定理 · 刘维尔定理 |

 |
| 多元微积分

|  |
| --- |
| 偏导数 · 隐函数 · 全微分（微分的形式不变性） · 二阶导数的对称性 · 全微分 · 方向導數 · 标量场 · 向量場 · 梯度（Nabla算子） · 多元泰勒公式 · 拉格朗日乘数 · 黑塞矩陣 · 鞍點 · 多重积分（逐次积分（英语：） · 积分顺序（英语：）） · 积分估值定理 · 旋转体 · 帕普斯-古尔丁中心化旋转定理 · 祖暅-卡瓦列里原理 · 托里拆利小号 · 雅可比矩阵 · 广义多重积分（高斯积分） · 若尔当曲线 · 曲线积分 · 曲面积分（施瓦茨的靴（俄语：）） · 散度 · 旋度 · 通量 · 可定向性 · **格林公式** · **高斯散度定理** · **斯托克斯定理**及其外微分形式 · 若尔当测度 · 隐函数定理 · 皮亚诺-希尔伯特曲线 · 积分变换 · 卷积定理 · 积分符号内取微分 (莱布尼茨积分定则（英语：）) · 多变量原函数的存在性（全微分方程） · 外微分的映射原像存在性（恰当形式） · 向量值函数 · 向量空间内的导数推广（英语：）（加托导数 · 弗雷歇导数（英语：） · 矩阵的微积分（英语：）） · 弱微分 |

 |
| 微分方程

|  |
| --- |
| 常微分方程 · 柯西-利普希茨定理 · 皮亚诺存在性定理 · 分离变数法 · 级数展开法 · 积分因子 · 拉普拉斯算子 · 欧拉方法 · 柯西-欧拉方程 · 伯努利微分方程 · 克莱罗方程 · 全微分方程 · 线性微分方程 · 叠加原理 · 特徵方程式 · 朗斯基行列式 · 微分算子法 · 差分方程 · 拉普拉斯变换 · 偏微分方程（拉普拉斯方程 · 泊松方程） · 施图姆-刘维尔理论 · N体问题 · 积分方程 |

 |
| 相关数学家
牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅 · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 約翰·白努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦（英语：） · 婆什迦羅第二 · 阿涅西 · 阿基米德
 |
| 历史名作
从无穷小量分析来理解曲线（英语：） · 分析学教程（英语：） · 无穷小分析引论 · 用无穷级数做数学分析（英语：） · 流形上的微积分（英语：） · 微积分学教程 · 纯数学教程（英语：） · 机械原理方法论（英语：）
 |
| 分支学科

|  |
| --- |
| 实变函数论 · 複分析 · 傅里叶分析 · 变分法 · 特殊函数 · 动力系统 · 微分几何 · 微分代数 · 向量分析 · 分数微积分 · 玛里亚温微积分（英语：） · 随机分析 · 最优化 · 非标准分析 |

 |
| * 
* 论
* 编
 |

**斯托尔兹－切萨罗定理**（英語：）是数学分析学中的一個用于證明數列收歛的定理。该定理以奥地利人奥托·施托尔茨（英语：）和意大利人恩纳斯托·切萨罗命名。

内容
--

### ∙/∞ 情況的敘述

令 (a\_{n})\_{{n\geq 1}} 以及 (b\_{n})\_{{n\geq 1}} 為兩個實數數列。假設 (b\_{n})\_{{n\geq 1}} 是個嚴格單調且發散的數列(亦即嚴格遞增並接近無窮大，或者嚴格遞減並接近負無窮大)，以及下述極限存在:

{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}=l.\ }
那麼，可以推得極限

{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}=l.\ }
### 0/0 情況的敘述

令 (a\_{n})\_{{n\geq 1}} 以及 (b\_{n})\_{{n\geq 1}} 為兩個實數數列。假設 {\displaystyle (a\_{n})\to 0} 以及 {\displaystyle (b\_{n})\to 0}，並且 (b\_{n})\_{{n\geq 1}} 是嚴格單調。如果 

{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}=l,\ }
則

{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}=l.\ }
### 用法说明

该定理虽然主要被用来处理数列不定型极限，但该定理在没有{\displaystyle \lim \_{n\to \infty }a\_{n}=\infty }这一限制条件时也是成立的。虽然该定理通常是以分母b\_{n}為正數數列的情形加以叙述的，但注意到该定理对分子a\_{n}的正负没有限制，所以原则上把对数列b\_{n}的限制条件替换为"严格单调递减且趋于负无穷大"也是没有问题的。

与羅必达法则的迭代用法类似，在尝试应用斯托尔兹－切萨罗定理考察数列的极限时，如果发现两个数列差分的商仍然是不定型，可以尝试再使用1次该定理，考察其2阶差分之商的极限。

应当注意，当{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}}不存在时，不能认定{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}}必定也不存在。换句话说，确实有"有穷极限{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}}存在，但有穷极限{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}}不存在"的情况（详见下文针对此逆命题所举的反例）。

證明
--

### ∙/∞的情況

假設{\displaystyle (b\_{n})}為嚴格遞增並發散至\infty, 而且{\displaystyle -\infty \leq l<\infty }, 於是存在 {\displaystyle p,q\in \mathbb {R} } 使得 {\displaystyle l<p<q}。因此我們有 {\displaystyle \exists n\_{0}\in \mathbb {N} ,\forall n\geq n\_{0},b\_{n}>0} 而且 {\displaystyle {\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}<p}。

那麼，給定{\displaystyle n\geq n\_{0}}，注意到 {\displaystyle a\_{n+1}=(a\_{n+1}-a\_{n})+\cdots +(a\_{n\_{0}+1}-a\_{n\_{0}})+a\_{n\_{0}}<p(b\_{n+1}-b\_{n\_{0}})+a\_{n\_{0}}}。因為 {\displaystyle b\_{n+1}>0}, 我們有 {\displaystyle {\frac {a\_{n+1}}{b\_{n+1}}}<p\left(1-{\frac {b\_{n\_{0}}}{b\_{n+1}}}\right)+{\frac {a\_{n\_{0}}}{b\_{n+1}}}}。

令{\displaystyle c\_{n}=p\left(1-{\frac {b\_{n\_{0}}}{b\_{n}}}\right)+{\frac {a\_{n\_{0}}}{b\_{n}}}}，由於{\displaystyle \lim \_{n\to \infty }b\_{n}=\infty }, 於是{\displaystyle \lim \_{n\to \infty }c\_{n}=p}。因此我們有{\displaystyle \exists n\_{1}\in \mathbb {N} ,\forall n\geq n\_{1},c\_{n}<q}。那麼，對於{\displaystyle n\geq n\_{4}:=\max\{n\_{0},n\_{1}\}}，我們有 {\displaystyle {\frac {a\_{n+1}}{b\_{n+1}}}<c\_{n+1}<q}。同樣地，對於 {\displaystyle -\infty <l\leq \infty }與 {\displaystyle q'<l}, 

存在 {\displaystyle n\_{3}\in \mathbb {N} } 使得對於所有 {\displaystyle n\geq n\_{3}}, 我們有 {\displaystyle q'<{\frac {a\_{n+1}}{b\_{n+1}}}}。於是，如果

1. {\displaystyle l=\infty }, 那麼 {\displaystyle \forall q'\in \mathbb {R} ,\exists n\_{3}\in \mathbb {N} ,\forall n\geq n\_{3},q'<{\frac {a\_{n}}{b\_{n}}}}。因此 {\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}=\infty =l}。
2. {\displaystyle l=-\infty }, 那麼 {\displaystyle \forall q\in \mathbb {R} ,\exists n\_{4}\in \mathbb {N} ,\forall n\geq n\_{4},{\frac {a\_{n}}{b\_{n}}}<q}。因此 {\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}=-\infty =l}。
3. {\displaystyle l\in \mathbb {R} }, 那麼對於所有{\displaystyle q,q'\in \mathbb {R} } 使得{\displaystyle q'<l<q}，存在一個{\displaystyle n\_{5}\in \mathbb {N} } (上述{\displaystyle n\_{3},n\_{4}}的最大值)，使得對於所有{\displaystyle n\geq n\_{5}}，我們有 {\displaystyle q'<{\frac {a\_{n}}{b\_{n}}}<q}。因此{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}=l}。

對於{\displaystyle (b\_{n})}為嚴格遞減並發散至-\infty 的情況，注意到{\displaystyle {\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}={\frac {(-a\_{n+1})-(-a\_{n})}{(-b\_{n+1})-(-b\_{n})}}} 且{\displaystyle (-b\_{n})} 為一個嚴格遞增至\infty的數列即得證。  

### 0/0的情況

假設{\displaystyle (b\_{n})}為嚴格遞減收斂至{\displaystyle 0}, 而且{\displaystyle -\infty \leq l<\infty }, 於是存在 {\displaystyle p,q\in \mathbb {R} } 使得 {\displaystyle l<p<q}。因此我們有 {\displaystyle \exists n\_{0}\in \mathbb {N} ,\forall n\geq n\_{0},b\_{n}>0} 而且 {\displaystyle {\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}<p}。

那麼，給定{\displaystyle m\geq n\geq n\_{0}}，注意到 {\displaystyle a\_{n}=(a\_{n}-a\_{n+1})+\cdots +(a\_{m}-a\_{m+1})+a\_{m+1}<p(b\_{n}-b\_{m+1})+a\_{m+1}}。因為 {\displaystyle b\_{n}>0}, 我們有 {\displaystyle {\frac {a\_{n}}{b\_{n}}}<p\left(1-{\frac {b\_{m+1}}{b\_{n}}}\right)+{\frac {a\_{m+1}}{b\_{n}}}}。

令{\displaystyle c\_{m}=p\left(1-{\frac {b\_{m+1}}{b\_{n}}}\right)+{\frac {a\_{m+1}}{b\_{n}}}}，由於{\displaystyle \lim \_{m\to \infty }b\_{m}=0,\lim \_{m\to \infty }a\_{m}=0}, 於是{\displaystyle \lim \_{m\to \infty }c\_{m}=p}。那麼，當{\displaystyle m\to \infty }, 我們有 {\displaystyle {\frac {a\_{n}}{b\_{n}}}\leq p<q}。同樣地，對於{\displaystyle -\infty <l\leq \infty }和 {\displaystyle q'<l}

存在 {\displaystyle n\_{1}\in \mathbb {N} } 使得對於所有 {\displaystyle n\geq n\_{1}}, 我們有 {\displaystyle q'<{\frac {a\_{n+1}}{b\_{n+1}}}}。於是，如果 

1. {\displaystyle l=\infty }, 那麼 {\displaystyle \forall q'\in \mathbb {R} ,\exists n\_{1}\in \mathbb {N} ,\forall n\geq n\_{1},q'<{\frac {a\_{n}}{b\_{n}}}}。因此 {\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}=\infty =l}。
2. {\displaystyle l=-\infty }, 那麼 {\displaystyle \forall q\in \mathbb {R} ,\exists n\_{0}\in \mathbb {N} ,\forall n\geq n\_{0},{\frac {a\_{n}}{b\_{n}}}<q}。因此 {\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}=-\infty =l}。
3. {\displaystyle l\in \mathbb {R} }, 那麼對於所有{\displaystyle q,q'\in \mathbb {R} } 使得{\displaystyle q'<l<q}，存在一個{\displaystyle n\_{2}\in \mathbb {N} } (上述{\displaystyle n\_{0},n\_{1}}的最大值)，使得對於所有{\displaystyle n\geq n\_{2}}，我們有 {\displaystyle q'<{\frac {a\_{n}}{b\_{n}}}<q}。因此{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}=l}。

對於{\displaystyle (b\_{n})}為嚴格遞增並收斂到{\displaystyle 0}的情況，注意到{\displaystyle {\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}={\frac {(-a\_{n+1})-(-a\_{n})}{(-b\_{n+1})-(-b\_{n})}}} 且{\displaystyle (-b\_{n})} 為一個嚴格遞增至{\displaystyle 0}的數列即得證。

### 直觀解釋

利用与折线斜率的类比，该定理具有直观的几何意义。

應用
--

### 算術平均

令 {\displaystyle (x\_{n})\_{n\geq 1}} 為一個收斂到l的實數數列, 定義

{\displaystyle a\_{n}:=\sum \_{m=1}^{n}x\_{m}=x\_{1}+\dots +x\_{n},\quad b\_{n}:=n}
那麼{\displaystyle (b\_{n})} 為一個遞增至 +\infty  的數列. 計算

{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}=\lim \_{n\to \infty }x\_{n+1}=\lim \_{n\to \infty }x\_{n}=l}
因此

{\displaystyle \lim \_{n\to \infty }{\frac {x\_{1}+\dots +x\_{n}}{n}}=\lim \_{n\to \infty }x\_{n}.}
### 平均

令 {\displaystyle (x\_{n})\_{n\geq 1}} 為一個收斂到l的正數數列, 定義

{\displaystyle a\_{n}:=\log(x\_{1}\cdots x\_{n}),\quad b\_{n}:=n,}
計算

{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}=\lim \_{n\to \infty }\log {\Big (}{\frac {x\_{1}\cdots x\_{n+1}}{x\_{1}\cdots x\_{n}}}{\Big )}=\lim \_{n\to \infty }\log(x\_{n+1})=\lim \_{n\to \infty }\log(x\_{n})=\log(l),}
這邊我們使用到對數函數是連續的。 因此

{\displaystyle \lim \_{n\to \infty }{\frac {\log(x\_{1}\cdots x\_{n})}{n}}=\lim \_{n\to \infty }\log {\Big (}(x\_{1}\cdots x\_{n})^{\frac {1}{n}}{\Big )}=\log(l),}
再一次，因為對數函數是連續和單調的，我們有

{\displaystyle \lim \_{n\to \infty }{\sqrt[{n}]{x\_{1}\cdots x\_{n}}}=\lim \_{n\to \infty }x\_{n}}.
### 根號與比值

令 {\displaystyle (x\_{n})\_{n\geq 1}} 為一個收斂到l的正數數列, 定義

{\displaystyle y\_{0}=1,y\_{n}=x\_{n}y\_{n-1},}
其中{\displaystyle n\in \mathbb {N} }。那麼我們有 {\displaystyle {\sqrt[{n}]{x\_{1}\cdots x\_{n}}}={\sqrt[{n}]{y\_{n}}}}。於是，
我們有

{\displaystyle \lim \_{n\to \infty }{\sqrt[{n}]{y\_{n}}}=\lim \_{n\to \infty }{\sqrt[{n}]{x\_{1}\cdots x\_{n}}}=\lim \_{n\to \infty }x\_{n}=\lim \_{n\to \infty }{\frac {y\_{n}}{y\_{n-1}}}=l}。

相关命题
----

这个用于解决数列不定型极限的定理与用于解决函数不定型极限的洛必达法则在形式上非常类似。求数列的差分对应于求函数的导函数，斯托尔兹－切萨罗定理就相当于是洛必达法则的离散化版本。但在类比记忆时应当注意，斯托尔兹－切萨罗定理要求数列要具有严格的单调性（或者至少当项数足够大时，要具有严格单调性），而洛必达法则没有对函数的单调性作出要求；洛必达法则要求函数在所考察点的邻域上具有可求导性，但斯托尔兹－切萨罗定理对数列不存在类似限制（数列没有"可差分性"一说）。并非所有的函数都可以进行求导运算，但任何数列都是可以进行差分运算的。

此定理的逆命题不成立。也即当满足条件的{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}}存在时，{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}}未必存在。如设{\displaystyle a\_{n}=7n-(-1)^{n}}，{\displaystyle b\_{n}=7n-2\times (-1)^{n}}，这2个正实数数列都是严格单调递增的且发散至无穷大。易知{\displaystyle \lim \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}}存在，且数值为1。但是{\displaystyle {\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}={\frac {7(n+1)-(-1)^{n+1}-(7n-(-1)^{n})}{7(n+1)-2\times (-1)^{n+1}-(7n-2\times (-1)^{n})}}={\frac {7-(-1)^{n+1}+(-1)^{n}}{7-2\times (-1)^{n+1}+2\times (-1)^{n}}}}当n \to \infty时是震荡的，即此差分之商的极限值不存在。目前可找出的例子都是借助震荡型数列构造的，而用于说明洛必达法则的逆命题不成立的例子也用到了震荡型的函数。

推广
--

该定理的一个推广形式如下[來源請求]：

如果(a\_{n})\_{{n\geq 1}} 和(b\_{n})\_{{n\geq 1}}是两个数列，而b\_{n}是单调无界的，那么
\liminf \_{{n\to \infty }}{\frac {a\_{{n+1}}-a\_{n}}{b\_{{n+1}}-b\_{n}}}\leq \liminf \_{{n\to \infty }}{\frac {a\_{n}}{b\_{n}}}\leq \limsup \_{{n\to \infty }}{\frac {a\_{n}}{b\_{n}}}\leq \limsup \_{{n\to \infty }}{\frac {a\_{{n+1}}-a\_{n}}{b\_{{n+1}}-b\_{n}}}.
### 證明

假設{\displaystyle (b\_{n})}為嚴格遞增並發散至\infty, 而且{\displaystyle -\infty \leq l:=\limsup \_{n\to \infty }{\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}<\infty }, 於是存在 {\displaystyle p,q\in \mathbb {R} } 使得 {\displaystyle l<p<q}。因此我們有 {\displaystyle \exists n\_{0}\in \mathbb {N} ,\forall n\geq n\_{0},b\_{n}>0} 而且 {\displaystyle {\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}<p}。

那麼，給定{\displaystyle n\geq n\_{0}}，注意到 {\displaystyle a\_{n+1}=(a\_{n+1}-a\_{n})+\cdots +(a\_{n\_{0}+1}-a\_{n\_{0}})+a\_{n\_{0}}<p(b\_{n+1}-b\_{n\_{0}})+a\_{n\_{0}}}。因為 {\displaystyle b\_{n+1}>0}, 我們有 {\displaystyle {\frac {a\_{n+1}}{b\_{n+1}}}<p\left(1-{\frac {b\_{n\_{0}}}{b\_{n+1}}}\right)+{\frac {a\_{n\_{0}}}{b\_{n+1}}}}。

令{\displaystyle c\_{n}=p\left(1-{\frac {b\_{n\_{0}}}{b\_{n}}}\right)+{\frac {a\_{n\_{0}}}{b\_{n}}}}，由於{\displaystyle \lim \_{n\to \infty }b\_{n}=\infty }, 於是{\displaystyle \lim \_{n\to \infty }c\_{n}=p}。因此我們有{\displaystyle \exists n\_{1}\in \mathbb {N} ,\forall n\geq n\_{1},c\_{n}<q}。那麼，對於{\displaystyle n\geq n\_{2}:=\max\{n\_{0},n\_{1}\}}，我們有 {\displaystyle {\frac {a\_{n+1}}{b\_{n+1}}}<c\_{n+1}<q}。 

於是，當n\to \infty，我們有{\displaystyle \limsup \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}\leq q}。因為q是任意大於l的數，{\displaystyle \limsup \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}\leq l}。當{\displaystyle l=\infty }，不等式顯然成立。 

假設{\displaystyle -\infty <m:=\liminf \_{n\to \infty }{\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}\leq \infty }, 於是存在 {\displaystyle p,q\in \mathbb {R} } 使得 {\displaystyle q'<p'<m}。因此我們有 {\displaystyle \exists n\_{0}\in \mathbb {N} ,\forall n\geq n\_{3},b\_{n}>0} 而且 {\displaystyle p'<{\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}}。 

那麼，給定{\displaystyle n\geq n\_{0}}，注意到 {\displaystyle a\_{n+1}=(a\_{n+1}-a\_{n})+\cdots +(a\_{n\_{0}+1}-a\_{n\_{0}})+a\_{n\_{0}}<p(b\_{n+1}-b\_{n\_{0}})+a\_{n\_{0}}}。因為 {\displaystyle b\_{n+1}>0}, 我們有 {\displaystyle p\left(1-{\frac {b\_{n\_{0}}}{b\_{n+1}}}\right)+{\frac {a\_{n\_{0}}}{b\_{n+1}}}<{\frac {a\_{n+1}}{b\_{n+1}}}}。

令{\displaystyle c\_{n}=p\left(1-{\frac {b\_{n\_{0}}}{b\_{n}}}\right)+{\frac {a\_{n\_{0}}}{b\_{n}}}}，由於{\displaystyle \lim \_{n\to \infty }b\_{n}=\infty }, 於是{\displaystyle \lim \_{n\to \infty }c\_{n}=p'}。因此我們有{\displaystyle \exists n\_{1}\in \mathbb {N} ,\forall n\geq n\_{4},q'<c\_{n}}。那麼，對於{\displaystyle n\geq n\_{5}:=\max\{n\_{3},n\_{4}\}}，我們有 {\displaystyle q'<{\frac {a\_{n+1}}{b\_{n+1}}}}。 

於是，當n\to \infty，我們有{\displaystyle q'\leq \liminf \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}}。因為q'是任意小於m的數，{\displaystyle m\leq \limsup \_{n\to \infty }{\frac {a\_{n}}{b\_{n}}}}。當{\displaystyle l=-\infty }，不等式顯然成立。 

對於{\displaystyle (b\_{n})}為嚴格遞減並發散至-\infty 的情況，注意到{\displaystyle {\frac {a\_{n+1}-a\_{n}}{b\_{n+1}-b\_{n}}}={\frac {(-a\_{n+1})-(-a\_{n})}{(-b\_{n+1})-(-b\_{n})}}} 且{\displaystyle (-b\_{n})} 為一個嚴格遞增至\infty的數列即得證。

参考资料
----

1. ↑  Choudary, A. D. R.; Niculescu, Constantin.. Springer India. 2014: 59–60  [2022-01-26]. ISBN 978-81-322-2147-0. （原始内容存档于2021-05-06） （英语）.
2. ↑  张筑生.  **第1册**. 北京大学出版社. 1990: 88. ISBN 9787301008461.
3. 1 2 3 4 5  刘利刚.  (PDF). 浙江大学数学系.  [2015-01-11]. （原始内容 (pdf)存档于2016-03-08） （中文（中国大陆））.

外部链接
----

* Marian Mureşan: *A Concrete Approach to Classical Analysis*. Springer 2008, ISBN 978-0-387-78932-3, p. 85 (restricted online copy，第85頁，載於Google圖書)
* 奥托·施托尔茨（英语：）.  [一般算数讲义：新视角]. 莱比锡: B.G.托伊布内出版社（德语：） (原出版商)，互联网档案馆 (存档网站). 1885: 173–175 （德语）.