邦泽不等式

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

陳述
若及為最小的個質數，且，則有以下關係：



這不等式是伯特蘭-切比雪夫定理的一個結果：伯特蘭-切比雪夫定理指出，，因此有

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

……

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

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

對於任意的而言，有一個取決於的正整數，使得下列關係對所有的都成立：



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

對於任意的，有以下關係：



其中是下取整函數。

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

對於任意的，有以下關係：



其中是質數計數函數。

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

對於任意的，有以下關係：



其中是質數計數函數。

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

對於任意的，有以下關係：



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



其中是第一切比雪夫函數，是自然對數。

參見
 質數階乘

腳註和出處

參考資料

Category:數論相關的定理
Category:不等式