Rosser定理

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

這定理最早由J. Barkley Rosser於1939年發表。

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

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

:p_n > n \log n.

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

: p_n > n (\log n + \log \log n - 1).

參見

• 素數定理

參考資料
外部連結
*[http://mathworld.wolfram.com/RossersTheorem.html Wolfram數學世界上關於Rosser定理的介紹]