数列｛ａn｝をa0=n,a1=(a0と互いに素な最小の数)

ai+1を(a0a1・・・ai)と互いに素な最小の数,ただし,増加数列ai+1＞aiという規則に従って構成する．

[1]a0=30から始めると

a1=(30と互いに素な最小の数)=31

a2=(30・31と互いに素な最小の数)=37

a3=(30・31・37と互いに素な最小の数)=41

a4=(30・31・37・41と互いに素な最小の数)=43

a5=(30・31・37・41・43と互いに素な最小の数)=47

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

30＝2・3・5で、30未満の数のうち、30と互いに素な数は

7,11,13,17,19,23,29

で、すべて素数となっている。このように自分より小さい数の中の互いに素な数がすべて素数になっている数の中で30は最大である。

すなわち、ｎ以下で、ｎと互いに素な整数がみな素数であるという性質を持つ最大のｎが30である。2,3,4,6,8,12,18,24,30

30を特別なものとしている理由はそれが最初の3つの素数の積だということである。

しかし、最初の4つの素数の積である210では、たとえば143=11x13は210と共通因子を持たないが素数ではない。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

[2]a0=70から始めると

a1=(70と互いに素な最小の数)=71

a2=(70・71と互いに素な最小の数)=73

a3=(70・71・73と互いに素な最小の数)=79

a4=(70・71・73・79と互いに素な最小の数)=81・・・素数のベキ

a5=(70・71・73・79・81と互いに素な最小の数)=83

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

この数列はｎより大きい素数を全部含む。

すべてのak(k≧1)が素数か素数のベキとなる最大のnは70である。

このような性質を持つｎは次の12個ある

3,4,6,7,8,12,15,18,22,24,30,70 (n=1,2は含まれない)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

（証）x＞17/2に対して、区間(x,2x)に少なくとも3個の素数が含まれる

n＞17^2=289に対して、区間(1/2n^1/2,n^1/2)に少なくとも3個の素数が含まれる

3個の素数の積は(n^3/2)/8＞nであるから、少なくとも1個の素数はｎを割らない。

n^1/2＞8,n＞64

(1/2n^1/2＜p1＜n^1/2)、p1はｎを割らない最大の素数とする

n＞289に対して、区間(2n^1/2,4n^1/2)に少なくとも3個の素数が含まれる

n＞16n^1/2であるから区間(2n^1/2,n/4)に少なくとも3個の素数が含まれるとしてよい

3個の素数の積は4n＞nであるから、少なくとも1個の素数はｎを割らない。

q1をn^1/2＜q1＜n/4＜p1^2,q1はｎを割らない最小の素数とすることができる

1/2n^1/2＜p1＜n^1/2＜q1＜n/4＜p1^2

p1q1がaiだとするとｎ＞289に対して、すべてのaiは素数または素数のベキとなる

そうでないとすると、ｎ＞289に対して、aiはｎ＜ai＜p1q1,(ai,p1q1)＞1となる

aiが少なくとも異なる2つの素因数を持つ場合を考えればよい。

そうでなければ、aiは素数または素数のベキとなる。したがって、ｎ＞289に対して、aiは素数または素数のベキとなる。

70＜ｎ＜289に対してはaiが2つの異なる素数の積となることを直接計算して確かめることができる

ｎ＞70に対して、少なくともaiの一つは異なる2つの素因数を持つ

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　１９７５年，エルデスとセルフリッジは連続する整数の積は整数のベキでないこと，すなわち

　　ｙ^q＝ｘ（ｘ＋１）・・・（ｘ＋ｐ−１）

はすべてが＞１である整数解（ｘ，ｙ，ｐ，ｑ）をもたないことを証明しています．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　すなわち，

　連続する３個の自然数の積は３！＝６の倍数である

　連続する４個の自然数の積は４！＝２４の倍数である

　連続するｋ個の自然数の積はｋ！の倍数である

に対して，エルデシュ・セルフリッジの定理とは

　連続する３個の自然数の積は平方数とはならない

　連続する４個の自然数の積は平方数，立方数とはならない

　連続するｋ（＞１）個の自然数の積はある数のベキ乗数とはならない

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　この定理は次のように言い換えることができる．

　２項係数（ｎ，ｋ）はｎ≧３でｋ≠０，１，ｎ−１，ｎならある数のベキにならない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝