■ウォリス積と・・・(その45)
  Π(1−1/p)^-1〜expγ・logx
  Π(1−(−1)^(n-1)/2/p)^-1〜π/4,pは奇素数
===================================
  A=Π(1−1/p)^-1,pは4n+1型素数
  B=Π(1+1/q)^-1,qは4n+3型素数
  A・B〜π/4・(a/b)^1/2
 a=1,b=1の場合はメルテンスの定理
  Π(1−(−1)^(n-1)/2/p)^-1〜π/4,pは奇素数
であるが,a=2,b=1の場合は
  A・B〜π/2√2
となる.
  A・B〜π/2√2
は,素数を
  5,3,13,17,29,37,41,7,53,・・・
という順番に並べて積
  Π(1−(−1)^(n-1)/2/p)^-1
をとったものである.   
 別の書き方をするとpのノルムN(p)を
  N(p)=p^1/a,  p=1 (mod4)
  N(p)=p^1/b,  p=1 (mod4)
とくに,a=2,b=1の場合は
  N(p)=p^1/2,  p=1 (mod4)
  N(p)=p  ,  p=1 (mod4)
の順番に並べた素数列
  5,3,13,17,29,37,41,7,53,・・・
すなわち
  √5<3<√13<√17<√29<√37<√41<7<√53<・・・
となっているのである.
===================================
 
