主題
素數定理表明第n個素數 
具有漸近值
 |
(1)
|
當 
時 (Havil 2003, p. 182)。Rosser定理透過宣告以下內容，使這成為嚴格的下界
 |
(2)
|
對於 
(Rosser 1938)。此結果隨後被改進為
 |
(3)
|
其中 
(Rosser 和 Schoenfeld 1975)。常數 
隨後被降低到 
(Robin 1983)。Massias 和 Robin (1996) 隨後表明，對於 
和 
，
是容許的。最後，Dusart (1999) 表明，對於所有 
，
成立 (Havil 2003, p. 183)。上面的圖表顯示了 
(黑色), 
(藍色), 和 
(紅色)。
和 
之間的差值在上面繪製。差值的斜率取到 
大約是 
。
，當 
時。" Math. Comput. 68, 411-415, 1999.Havil, J. Gamma: 探索尤拉常數。 Princeton, NJ: Princeton University Press, 2003.Massias, J.-P. and Robin, G. "關於素數某些函式的有效界限。" J. Théor. Nombres Bordeaux 8, 215-242, 1996.Riesel, H. 素數與計算機分解方法，第二版。 Boston, MA: Birkhäuser, pp. 56-57, 1994.Robin, G. "切比雪夫函式 
在第 
個素數上的估計以及函式 
的大值，
的素因子數。" Acta Arith. 42, 367-389, 1983.Robin, G. "某些漸近展開中遞迴關係的永續性。" Publ. Inst. Math., Nouv. Sér. 43, 17-25, 1988.Rosser, J. B. "第n個素數大於 
。" Proc. London Math. Soc. 45, 21-44, 1938.Rosser, J. B. and Schoenfeld, L. "切比雪夫函式 
和 
的更精確界限。" Math. Comput. 29, 243-269, 1975.Salvy, B. "一些漸近函式反函式的快速計算。" J. Symb. Comput. 17, 227-236, 1994.Weisstein, Eric W. "Rosser定理。" 來自 Web 資源。 https://mathworld.tw/RossersTheorem.html
