邦泽不等式

邦泽不等式（Template:Lang-en）為數論中的不等式，得名自H·邦泽，有關質數階乘和未在其質因數分解中出現的最小質數之間的大小關係。

陳述

若$p_1,p_2,\cdots ,p_n$及$p_{n+1}$為最小的$n+1$個質數，且$n\ge 4$，則有以下關係：

$p_{n+1}^2<p_1\cdots p_n$

這不等式是伯特蘭-切比雪夫定理的一個結果：伯特蘭-切比雪夫定理指出，$p_{n+1}<2p_n$，因此有$p_{n+1}^2<4p_n^2<8p_{n-1}{p}_n<2\times 3\times 5\times p_{n-1}{p}_n⩽p_1{p}_2...p_n$

數值驗證

以下列出一些質數之間的關係，前四行不在邦泽不等式的範圍內

$4=2^2>0$

$9=3^2>2=2$

$25=5^2>2\cdot 3=6$

$49=7^2>2\cdot 3\cdot 5=30$

---

$121=11^2<2\cdot 3\cdot 5\cdot 7=210$

$169=13^2<2\cdot 3\cdot 5\cdot 7\cdot 11=2310$

$289=17^2<2\cdot 3\cdot 5\cdot 7\cdot 11\cdot 13=30030$

……

推廣

邦澤不等式已為多名數學家推廣，以下是部分數學家對邦澤不等式的推廣。

Pósa的推廣

Pósa在1960年證明了以下的陳述：

對於任意的$k>1$而言，有一個取決於$k$的正整數$n_k$，使得下列關係對所有的$n\ge n_k$都成立：

$p_{n+1}^k<p_1\cdots p_n$

Sándor的推廣

Sándor在1988年證明了以下的陳述：

對於任意的$n\ge 24$，有以下關係：

$p_{n+5}^2+p_{[n/2]}^2<p_1\cdots p_n$

其中$[x]$是下取整函數。

Panaitopol的推廣

Panaitopol在2000年證明了以下的陳述：

對於任意的$n\ge 2$，有以下關係：

$p_{n+1}^{n-\pi (n)}<p_1\cdots p_n$

其中$\pi (n)$是質數計數函數。

Hassani的推廣

Hassani在2005年證明了以下的陳述：

對於任意的$n\ge 101$，有以下關係：

$p_{n+1}^{n-\pi (n)(1-\frac{1}{\log n})}<p_1\cdots p_n$

其中$\pi (n)$是質數計數函數。

Ghosh的推廣

Ghosh在2019年證明了以下的陳述：

對於任意的$n\ge 6$，有以下關係：

$n(1-\frac{1}{\log n}+\frac{\log \log n}{4{\log }^{2}n})<\frac{\vartheta (p_n)}{\log p_{n+1}}<n(1-\frac{1}{\log n}+\frac{\log \log n}{{\log }^{2}n})$

使用小o符號，則可表如下式：

$\frac{\vartheta (p_n)}{\log p_{n+1}}=n(1-\frac{1}{\log n}+\frac{\log \log n}{{\log }^{2}n}(1+o(1)))$

其中$\vartheta (x)$是第一切比雪夫函數，$\log (x)$是自然對數。

參見

• 質數階乘

參考資料

• Template:Cite book
• Template:Cite arXiv