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