系列條目
微积分学
函数 极限论 微分学 积分 微积分基本定理 微积分发现权之争（英语：Leibniz–Newton calculus controversy）
基础概念（含极限论和级数论） 實數性質 函数 单调性 初等函数 數列 极限 实数的构造 1=0.999… 无穷 銜尾蛇 無窮小量 ε-δ語言 实无穷（英语：Actual infinity） 大O符号 最小上界 收敛数列 芝诺悖论 柯西序列 单调收敛定理 夹挤定理 波尔查诺-魏尔斯特拉斯定理 斯托尔兹-切萨罗定理 上极限和下极限 函數極限 渐近线 邻域 连续 連續函數 不连续点 狄利克雷函数 稠密集 一致连续 紧集 海涅-博雷尔定理 支撑集 欧几里得空间 点积 叉积 三重积 拉格朗日恒等式 等价范数 坐標系 凸集 巴拿赫不动点定理 级数 收敛级数 几何级数 调和级数 項測試 格兰迪级数 收敛半径 审敛法 柯西乘积 黎曼级数重排定理 函数项级数（英语：function series） 一致收斂 迪尼定理 數列與級數 連續 函數
一元微分 差分 均差 微分 微分的线性 导数 流数法 二阶导数 光滑函数 高阶微分 莱布尼兹记号（英语：Leibniz's_notation） 幽灵似的消失量 介值定理 中值定理 罗尔定理 拉格朗日中值定理 柯西中值定理 泰勒公式 求导法则 乘积法则 广义莱布尼茨定则（英语：General Leibniz rule） 除法定则 倒数定则 链式法则 洛必达法则 反函数的微分 Faà di Bruno公式（英语：Faà di Bruno's formula） 对数微分法 导数列表 导数的函数应用 单调性 切线 极值 驻点 拐点 求导检测（英语：derivative test） 凸函數 凹函數 簡森不等式 曲线的曲率 埃尔米特插值 达布定理 魏尔施特拉斯函数
一元积分 积分表 定义 不定积分 定积分 黎曼积分 达布积分 勒贝格积分 积分的线性 求积分的技巧 换元积分法 三角换元法 分部积分法 部分分式积分法 降次积分法 微元法 积分第一中值定理 积分第二中值定理 微积分基本定理 反常積分 柯西主值 積分函數 Β函数 Γ函数 古德曼函数 椭圆积分 數值積分 矩形法 梯形公式 辛普森積分法 牛顿-寇次公式 积分判别法 傅里叶级数 狄利克雷定理 周期延拓 魏尔施特拉斯逼近定理 帕塞瓦尔定理 刘维尔定理
多元微积分 偏导数 隐函数 全微分 微分的形式不变性 二阶导数的对称性 全微分 方向導數 标量场 向量場 梯度 Nabla算子 多元泰勒公式 拉格朗日乘数 黑塞矩陣 鞍點 多重积分 逐次积分 积分顺序（英语：Order of integration (calculus)） 积分估值定理 旋转体 帕普斯-古尔丁中心化旋转定理 祖暅-卡瓦列里原理 托里拆利小号 雅可比矩阵 广义多重积分 高斯积分 若尔当曲线 曲线积分 曲面积分 施瓦茨的靴（俄语：Сапог Шварца） 散度 旋度 通量 可定向性 格林公式 高斯散度定理 斯托克斯定理及其外微分形式 若尔当测度 隐函数定理 皮亚诺-希尔伯特曲线 积分变换 卷积定理 积分符号内取微分 莱布尼茨积分定则（英语：Leibniz integral rule） 多变量原函数的存在性 全微分方程 外微分的映射原像存在性 恰当形式 向量值函数 向量空间内的导数推广（英语：generalizations of the derivative） 加托导数 弗雷歇导数 矩阵的微积分（英语：matrix calculus） 弱微分
微分方程 常微分方程 柯西-利普希茨定理 皮亚诺存在性定理 分离变数法 级数展开法 积分因子 拉普拉斯算子 欧拉方法 柯西-欧拉方程 伯努利微分方程 克莱罗方程 全微分方程 线性微分方程 叠加原理 特徵方程式 朗斯基行列式 微分算子法 差分方程 拉普拉斯变换 偏微分方程 拉普拉斯方程 泊松方程 施图姆-刘维尔理论 N体问题 积分方程
相关数学家 牛顿 莱布尼兹 柯西 魏尔斯特拉斯 黎曼 拉格朗日 欧拉 帕斯卡 海涅 巴罗 波尔查诺 狄利克雷 格林 斯托克斯 若尔当 达布 傅里叶 拉普拉斯 雅各布·伯努利 約翰·白努利 阿达马 麦克劳林 迪尼 沃利斯 费马 达朗贝尔 黑维塞 吉布斯 奥斯特罗格拉德斯基 刘维尔 棣莫弗 格雷果里 玛达瓦（英语：Madhava of Sangamagrama） 婆什迦羅第二 阿涅西 阿基米德
历史名作 从无穷小量分析来理解曲线（英语：Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes） 分析学教程（英语：Cours d'Analyse） 无穷小分析引论 用无穷级数做数学分析（英语：De analysi per aequationes numero terminorum infinitas） 流形上的微积分（英语：Calculus on Manifolds (book)） 微积分学教程 纯数学教程（英语：A Course of Pure Mathematics） 机械原理方法论（英语：The Method of Mechanical Theorems）
分支学科 实变函数论 複分析 傅里叶分析 变分法 特殊函数 动力系统 微分几何 微分代数 向量分析 分数微积分 玛里亚温微积分（英语：Malliavin calculus） 随机分析 最优化 非标准分析
查 论 编

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

令 ${\displaystyle (a_{n})_{n\geq 1}}$ 以及 ${\displaystyle (b_{n})_{n\geq 1}}$ 為兩個實數數列。假設 ${\displaystyle (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 (a_{n})_{n\geq 1}}$ 以及 ${\displaystyle (b_{n})_{n\geq 1}}$ 為兩個實數數列。假設 ${\displaystyle (a_{n})\to 0}$ 以及 ${\displaystyle (b_{n})\to 0}$，並且 ${\displaystyle (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.\ }$^[1]

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

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

应当注意，当${\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})}$為嚴格遞增並發散至${\displaystyle \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})}$為嚴格遞減並發散至${\displaystyle -\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})}$ 為一個嚴格遞增至${\displaystyle \infty }$的數列即得證。

假設${\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}$的數列即得證。

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

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

${\displaystyle a_{n}:=\sum _{m=1}^{n}x_{m}=x_{1}+\dots +x_{n},\quad b_{n}:=n}$

那麼${\displaystyle (b_{n})}$ 為一個遞增至 ${\displaystyle +\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}}$ 為一個收斂到${\displaystyle 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}}$ 為一個收斂到${\displaystyle 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}$。

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

此定理的逆命题不成立。也即当满足条件的${\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}}}}$当${\displaystyle n\to \infty }$时是震荡的，即此差分之商的极限值不存在。目前可找出的例子都是借助震荡型数列构造的，而用于说明洛必达法则的逆命题不成立的例子也用到了震荡型的函数。

该定理的一个推广形式如下：

如果${\displaystyle (a_{n})_{n\geq 1}}$ 和${\displaystyle (b_{n})_{n\geq 1}}$是两个数列，而${\displaystyle b_{n}}$是单调无界的，那么

${\displaystyle \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})}$為嚴格遞增並發散至${\displaystyle \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}$。

於是，當${\displaystyle n\to \infty }$，我們有${\displaystyle \limsup _{n\to \infty }{\frac {a_{n}}{b_{n}}}\leq q}$。因為${\displaystyle q}$是任意大於${\displaystyle 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}}}}$。

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

對於${\displaystyle (b_{n})}$為嚴格遞減並發散至${\displaystyle -\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})}$ 為一個嚴格遞增至${\displaystyle \infty }$的數列即得證。

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