（ラフプロット）素数定理によりｘ近辺の数が素数である確率はおよそ

　　１／ｌｏｇｘ

である．ｘ＋２が素数である確率もおよそ

　　１／ｌｏｇｘ

となるから，これらが双子素数となる確率はおよそ

　　１／（ｌｏｇｘ）^2

したがって，ｘ以下の双子素数の組の数はおよそ

　　ｘ／（ｌｏｇｘ）^2

となる．

　それではＣは何を意味しているのだろうか？　じつはｘとｘ＋２が素数となる確率は独立していないので，上の議論を修正しなければならない．そのための補正項がＣとなるのである．

任意に選んだ２数がともにｐで割り切れない確率は（１−１／ｐ）^2であるが，２つの数（ｐ，ｐ＋２）は差が２なので，両方ともｐで割り切れない確率は（１−２／ｐ）である．よって，奇素数ｐに対しては係数

　　（１−２／ｐ）／（１−１／ｐ）^2＝ｐ（ｐ−２）／（ｐ−１）^2

＝１−１／（ｐ−１）^2

素数２に対しては２をかけて補正を行う必要がある．そのための補正係数が双子素数係数

　　Ｃ＝２Π（１−１／（ｐ−１）^2）＝１．３２０３・・・

というわけである．

この法則は経験的には正しそうであり，双子素数はたぶん無限組あると信じられています．

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