Loading AI tools
来自维基百科,自由的百科全书
在數論上,Rosser定理指的是第個質數會大於,其中是自然對數函數。
這定理最早由J. Barkley Rosser於1939年發表。[1]
這定理的完整陳述如下:
設為第個質數,那對於任意的而言,以下不等式成立:
1999年,Pierre Dusart證明了一個更強的下界:[2]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.