数列｛ａ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に対して、n＞16n^1/2であるから区間(2n^1/2,n/4)に少なくとも3個の素数が含まれるとしてよい

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

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

ｎ＞289に対して、aiはｎ＜ai＜p1q1,(ai,p1q1)＞1となる

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

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