チェビシェフの偏り
いま π(x; 4, 1) を、x までの 4k + 1 形の素数の個数、 π(x; 4, 3) を、x までの 4k + 3 形の素数の個数とする。そのとき算術級数の素数定理より、
π ( x ; 4 , 1 ) ≃ π ( x ; 4 , 3 ) ≃ 1 2 x log  x {\displaystyle \pi (x;4,1)\simeq \pi (x;4,3)\simeq {\frac {1}{2}}{\frac {x}{\log x}}}
であるから、素数の半分は 4k + 1 の形であり、残りの半分は 4k + 3 の形である。