Rosser定理

在數論上，Rosser定理指的是第個質數會大於，其中是自然對數函數。

這定理最早由J. Barkley Rosser於1939年發表。Rosser, J. B. "The -th Prime is Greater than ". Proceedings of the London Mathematical Society 45:21-44, 1939. 

完整陳述
這定理的完整陳述如下：

設為第個質數，那對於任意的而言，以下不等式成立：

1999年，Pierre Dusart證明了一個更強的下界：

參見
 素數定理

參考資料

外部連結
Wolfram數學世界上關於Rosser定理的介紹 

Category:素數定理