J. BARKLEY ROSSER AND LOWELL SCHOENFELD在<<APPROXIMATE FORMULAS FOR SOME FUNCTIONS OF PRIME NUMBERS>>—著69页,有
(3.3) x/(log x -1/2) <π (x), for 67≤x .
(3.4) π(x) < x/(log x-3/2 ), for e^(3/2)< x.
在刘培杰数学工作室出版的<<谈谈素数>>(王元著)—著第33页,有
定理14.3 (1) x/(log x -3/2) <π (x)< x/(log x-1/2 ),其中x≥67.
这是由著名数学家在专著中所推介的定理,曾经在数学中国(数学建模)看到有网友质疑王元而引发争论,故本文仅对定理作了复制,粘贴.
注: π(x)表示小于或等于x的素数个数。