测试数学
对马德隆1常数常见算法中的数列的论证。
任务：证明数列
$$
\sum^\infty_{n=1}\frac{(-1)^nC_3(n)}{\sqrt{n}}
$$
发散。
首先定义数列的大O记号，对于实数数列${a_n}^\infty$和实数$\beta$，当数列${n^{-\beta} a_n}$有界时，我们记$a_n=O(n^\beta)$（参考复杂度的大O记号）
我们将半径$r$的球体内所有晶格点数记为$L_r$，对于$\sqrt{n}\le L_r<\sqrt{n+1}$，必然有：
$$
L_r=\sum^r_{k=1}C_3(k)
$$
很容易证明：
$$
L_r-\frac43\pi r^3=O(r^2)
$$
这就说明：
$$
\lim_{r\to\infty}\frac{L_r}{r^3}=\frac43\pi
$$
我们假设最初的数列收敛，那这就等价于说当$n\to0$时，$\epsilon_n=C_3(n)/\sqrt n \to 0$，对于一个自然数$N$，让$M_N=\max{\epsilon_n:n\ge N}$，那么当$N\to 0$，$M_N\to 0$。让$N$暂时固定，考虑对于$n>N$：
$$
\begin{align*}\frac{L_{\sqrt{n}}}{(\sqrt{n}^3)}&=n^{-3/2}\left[\sum^n_{k=1}\epsilon_k\sqrt k\right] \newline &\le n^{-3/2}\left[\sum^N_{k=1}\epsilon_k\sqrt k\right]+M_Nn^{-3/2}\left[\sum^n_{k=N+1}\sqrt k\right]\end{align*}
$$
注意（简单的放缩）：
$$
\begin{align*}\sum^n_{k=N+1}\sqrt k&\le\int^{n+1}_{N+1}t^{1/2}\mathrm dt\newline &=\frac23M_N[(n+1)^{3/2}-(N+1)^{3/2}]\end{align*}
$$
代到上面去：
$$
\begin{align*}\frac{L_{\sqrt{n}}}{(\sqrt n^3)}\le n^{-3/2}\left[\sum^N_{k=1}\epsilon_k\sqrt k\right]+\frac23M_N\left[\left(\frac{n+1}n\right)^{2/3}-\left(\frac{N+1}n\right)^{2/3}\right]\end{align*}
$$
让$n\to\infty$，发现对于任何的$N$，有$\limsup_{n\to\infty}L_{\sqrt{n}}/\sqrt{n}^3\le\frac23M_N$，既然$N\to\infty$时$M_N\to\infty$，我们有：
$$
\lim_{n\to\infty}\frac{L_{\sqrt n}}{(\sqrt n)^3}=0
$$
与我们一开始得到的结论矛盾。
所以，数列
$$
\sum^\infty_{n=1}\frac{(-1)^nC_3(n)}{\sqrt{n}}
$$
发散。Q.E.D.
测试一下