算術級数定理は素数定理を精密化したもので，初項ａの取り方にはよらないのですが，ここで，オイラーの関数φ（ｎ）は１からｎ−１までの整数のうち，ｎと互いに素になるものの個数

　　φ（ｎ）＝＃（Ｚ／ｎＺ）

として定義されます．たとえば，ｎ＝７の場合，１，２，３，４，５，６なのでφ（７）＝６，ｎ＝１０の場合１，３，７，９がそうなのでφ（１０）＝４となります．

　１７６０年頃，オイラーは，数ｎが素因数ｐ，ｑ，ｒ，・・・をもつときに，それらの重複度にかかわらず，

　　φ（ｎ）＝ｎ（１−１／ｐ）（１−１／ｑ）（１−１／ｒ）・・・

であることを示しました．この原理は「エラトステネスのふるい」によっているのですが，たとえば，１０＝２・５，４４＝２^2・１１，１００＝２^2・５^2より，

　　φ（１０）＝１０（１−１／２）（１−１／５）＝４

　　φ（４４）＝４４（１−１／２）（１−１／１１）＝２０

　　φ（１００）＝１００（１−１／２）（１−１／５）＝４０

また，任意の素数ｐに対して，

　　φ（ｐ^n）＝ｐ^n（１−１／ｐ）

したがって，

　　φ（ｐ）＝ｐ（１−１／ｐ）＝ｐ−１

となります．

　なお，算術級数定理の証明にはディリクレのＬ関数

　　Ｌ（ｓ，χ）＝Π（１−χ（ｐ）ｐ^(-s)）^(-1)

　　　　χは乗法群（Ｚ／ｎＺ）の１次元表現

が用いられます．

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