素数分布 2：素数定理

从	到	素数个数	从	到	素数个数
1	100	25	1	1000	168
101	200	21	1001	2000	135
201	300	16	2001	3000	127
301	400	16	3001	4000	120
401	500	17	4001	5000	119
501	600	14	5001	6000	114
601	700	16	6001	7000	117
701	800	14	7001	8000	107
801	900	15	8001	9000	110
901	1000	14	9001	10000	112

高斯通过大量的计算，建议使用$\frac{1}{\log t}$表示整数$x$附近的素数分布的平均密度，使用${\int }_2^x\frac{dt}{\log t}$渐进表示$\pi (x)$。

$x$	$\pi (x)$	$\frac{x}{\log x}$
1000	168	145
10000	1229	1086
100000	9592	8686
1000000	78498	72382
10000000	664579	620417

定理 素数定理：
$$\underset{x\to \infty }{\lim }\frac{\pi (x)}{\frac{x}{\log x}}=1$$

1896年阿达玛和瓦莱$\cdot$泊桑独立证明了素数定理，但都使用了精深的复变函数论方法。直到1949年爱多士和薛尔伯格给出初等证明。