艾狄胥定理，指對於任意正整數k，存在正整數N使得對於所有n > N，n和2n之間有k個質數。 艾狄胥定理對於任意正整數k，存在正整數N使得對於所有n > N，n和2n之間有k個質數。他又證明k = 2、N = 6時，而且其中一個質數是4的倍數加1，另一個是4的倍數減1。根據質數定理，n和2n之間的質數數目是n / ln(n)。
