由于 $f'$, $f''$ 均非负, 任取 $x\in(a,b)$, 存在 $\xi_1\in(x,b)$, 使得
\[
M=f(b)-f(a)\geqslant f(b)-f(x)=(b-x)f'(\xi_1)\geqslant (b-x)f'(x),
\]
这就得到 $f'(x)\leqslant\frac{M}{b-x}$. 类似地, 存在 $\xi_2\in(x,b)$,
\[
\begin{split}
M=f(b)-f(a)&\geqslant f(b)-f(x)=f'(x)(b-x)+\frac{1}{2}f''(\xi)(b-x)^2\\
&\geqslant\frac{1}{2}f''(\xi)(b-x)^2\\
&\geqslant\frac{1}{2}f''(x)(b-x)^2,
\end{split}
\]
注意这里将函数 $f(t)$ 在 $x$ 处作 Taylor 展开, 即将 $x$ 看作固定点, 然后再将 $t=b$ 代入. 即
\[
f(b)=f(x)+\frac{f'(x)}{1!}(b-x)+\frac{1}{2!}f''(\xi_2)(b-x)^2.
\]
于是得到 $f''(x)\leqslant\frac{2M}{(b-x)^2}$. 剩下的, 利用归纳法即可证明
\[
f^{(n)}(x)\leqslant\frac{n!M}{(b-x)^n}.
\]