什么是素数定理展开式？它并非一个孤立的公式，而是一套描述素数计数函数 π(x) 在 x 趋于无穷大时渐近行为的精密数学语言。简单说，它回答了这个根本问题：
在 1 到 x 的自然数中，大约有多少个素数？
答案的核心是：
π(x) ∼ x / ln x
其中符号 “∼” 表示“渐近等价”——当 x → ∞ 时，两者的比值趋于 1。这并非精确计数，而是一种“平均密度”的刻画：在大范围上，素数的分布呈现出可预测的统计规律性。
关键洞见：素数虽看似随机，其整体分布却遵循严格的数学秩序。这就像气象系统——单个气流不可预测，但全球平均温度变化却可被建模。
然而，仅靠 x/ln x 远不足以满足高精度需求。当 x 较大时，误差会累积到不可忽略的程度。于是数学家们发展出了素数定理展开式的完整渐近级数：
π(x) = frac{x}{ln x} + frac{x}{(ln x)^2} + frac{2! cdot x}{(ln x)^3} + frac{3! cdot x}{(ln x)^4} + cdots + frac{n! cdot x}{(ln x)^{n+1}} + R_n(x)
这是一个发散的渐近级数——它不收敛，但截断在某一项时，误差最小。这就像用多项式逼近一个复杂函数：项数越多，局部精度越高，但无限添加反而会“过拟合”。
更精确的版本引入了对数对数项：
π(x) = text{Li}(x) = int_2^x frac{dt}{ln t} = frac{x}{ln x} sum_{k=0}^{n-1} frac{k!}{(ln x)^k} + Oleft(frac{x}{(ln x)^{n+1}}right)
其中 Li(x) 是对数积分函数，是 π(x) 的最优初等近似。它与 x/ln x 的差距，就体现在 素数定理展开式的修正项中——正是这些微小修正，让估算误差从 1.5% 降至 0.001% 以下。