[论文解读] A Remark on the Mandl's Inequality

Mehdi Hassani|ArXiv.org|Jun 29, 2006

Mathematical Inequalities and Applications参考文献 7被引用 6

一句话总结

本文改进了曼德尔对前 $ n $ 个素数之和的不等式，证明了当 $ n \geq 10 $ 时，有 $ \sum_{i=1}^n p_i < \frac{n}{2}p_n - \frac{n^2}{14} $，并利用该结果改进了素数阶乘 $ p_1 p_2 \cdots p_n $ 的上界，同时将帕纳伊托波尔的下界进一步优化为：当 $ n \geq 101 $ 时，有 $ p_1 \cdots p_n > p_{n+1}^{(1 - 1/\log n)(n - \pi(n))} $。所有结果均基于几何-算术平均不等式、素数计数函数的界以及切比雪夫函数 $ \theta(p_n) $ 的渐近估计推导得出。此外，本文还证明了前 $ n $ 个素数的几何平均值以误差 $ O(1/\log^4(n\log n)) $ 趋近于 $ e $。

ABSTRACT

In this note, first we refine Mandl's inequality. Then, we consider the product $p_1p_2... p_n$ and we refine some known lower bounds for it, and we find some upper bounds for it by using Mandl's inequality and its refinement and the AGM-Inequality.

研究动机与目标

• 将曼德尔不等式 $ \sum_{i=1}^n p_i < \frac{n}{2}p_n $ 进一步优化，证明差值 $ \frac{n}{2}p_n - \sum_{i=1}^n p_i $ 存在更强的下界 $ \frac{n^2}{14} $，且该结论对所有 $ n \geq 10 $ 成立。
• 利用优化后的曼德尔不等式与 AM-GM 不等式，改进素数阶乘 $ p_1 p_2 \cdots p_n $ 的现有上界。
• 通过引入对数校正因子，进一步强化帕纳伊托波尔对素数阶乘的下界，得到当 $ n \geq 101 $ 时，有 $ p_1\cdots p_n > p_{n+1}^{(1 - 1/\log n)(n - \pi(n))} $。
• 分析前 $ n $ 个素数的几何平均值的渐近行为，证明当 $ n \to \infty $ 时，有 $ \prod_{n}^{\sharp} = e + O(1/\log^4(n\log n)) $，其推导基于对切比雪夫函数 $ \theta(x) $ 的界。

提出的方法

• 通过积分估计 $ \pi(t) $、对数积分 $ \mathrm{Li}(x) $ 以及已知的 $ \pi(x) $ 界（如 $ \pi(x) \geq \frac{x}{\log x}(1 + \frac{1}{\log x}) $ 对所有 $ x \geq 599 $ 成立）推导出曼德尔不等式的改进版本。
• 对前 $ n $ 个素数序列应用 AM-GM 不等式，结合优化后的和界 $ \sum_{i=1}^n p_i < \frac{n}{2}p_n - \frac{n^2}{14} $，推导出素数阶乘的上界。
• 利用罗宾不等式 $ \frac{1}{n}\sum_{i=1}^n p_i \geq p_{\lfloor n/2 \rfloor} $ 对基于 AM-GM 的上界进行优化，引入一个校正项 $ \Omega(n) $ 以反映素数序列中的方差。
• 利用 $ p_n $ 的渐近估计（如 $ p_n \sim n\log n $）以及对 $ \theta(p_n) = \sum_{p \leq p_n} \log p $ 的界，推导出素数阶乘的优化下界。
• 利用已知不等式 $ |\theta(x) - x| < d \frac{x}{\log^4 x} $，其中 $ d = 1717433 $，对几何平均值 $ \prod_{n}^{\sharp} = e^{\theta(p_n)/p_n} $ 的误差进行估计，从而得出渐近展开式 $ \prod_{n}^{\sharp} = e + O(1/\log^4(n\log n)) $。
• 通过小范围 $ n $（如 $ 10 \leq n \leq 21151 $）的直接计算验证优化后的界，并对大 $ n $ 使用解析延拓与渐近分析方法。

实验结果

研究问题

• RQ1 曼德尔不等式 $ \sum_{i=1}^n p_i < \frac{n}{2}p_n $ 是否可以被加强，使其差值 $ \frac{n}{2}p_n - \sum_{i=1}^n p_i $ 拥有二次下界？
• RQ2 如何利用优化后的曼德尔不等式，结合 AM-GM 不等式，进一步改进素数阶乘 $ p_1 p_2 \cdots p_n $ 的上界？
• RQ3 帕纳伊托波尔的下界 $ p_1\cdots p_n > p_{n+1}^{n - \pi(n)} $ 是否可以通过引入对数校正因子得到进一步改进？
• RQ4 前 $ n $ 个素数的几何平均值 $ \prod_{n}^{\sharp} = (p_1\cdots p_n)^{1/p_n} $ 在 $ n \to \infty $ 时的精确渐近误差是多少？是否为 $ e + O(1/\log^4(n\log n)) $？
• RQ5 已知的 $ \pi(x) $、$ \theta(x) $ 和 $ p_n $ 的界之间如何相互作用，以获得素数阶乘更紧的上下界？

主要发现

• 本文建立了曼德尔不等式的全新改进形式：对所有 $ n \geq 10 $，有 $ \sum_{i=1}^n p_i < \frac{n}{2}p_n - \frac{n^2}{14} $，该结果在 $ 10 \leq n \leq 21151 $ 范围内经直接计算验证，并对 $ n \geq 21152 $ 通过解析方法证明。
• 结合优化后的曼德尔不等式与 AM-GM 不等式，本文推导出更优的上界：对所有 $ n \geq 10 $，有 $ p_1 p_2 \cdots p_n < \left( \frac{p_n}{2} - \frac{n}{14} \right)^n $，且该不等式对 $ 5 \leq n \leq 9 $ 同样成立。
• 本文证明了素数阶乘的更紧下界：对所有 $ n \geq 101 $，有 $ p_1 p_2 \cdots p_n > p_{n+1}^{(1 - 1/\log n)(n - \pi(n))} $，并在 $ 101 \leq n \leq 598 $ 范围内通过计算验证。
• 通过在 AM-GM 不等式中引入校正项 $ \Omega(n) $，本文获得了更紧的上界：对所有 $ n \geq 10 $，有 $ p_1 p_2 \cdots p_n < \left\{ \frac{p_n}{2}\left(1 - \frac{(2^{1/n} - 1)^n}{n} \right) - \frac{n}{14} \right\}^n $。
• 本文证明了前 $ n $ 个素数的几何平均值满足 $ \prod_{n}^{\sharp} = e + O(1/\log^4(n\log n)) $，当 $ n \to \infty $ 时，其推导基于不等式 $ |\theta(x) - x| < d \frac{x}{\log^4 x} $，其中 $ d = 1717433 $。
• 该渐近误差估计在 $ p_n > 5.27 \times 10^{15} $ 时成立，且误差界以 $ n\log n $ 表达，证实了 $ \prod_{n}^{\sharp} \to e $，并给出了收敛速率的量化表达。