艾狄胥定理
对于任意正整数k,存在正整数N使得对于所有n > N,n和2n之间有k个质数。
他又证明k = 2、N = 6时,而且其中一个质数是4的倍数加1,另一个是4的倍数减1。
根据质数定理,n和2n之间的质数数目是n / ln(n)。