Big O notation
である。ここで φ(d) はオイラーのトーシェント函数、formula_3 はランダウの記号である。これは素数定理の重要な拡張である。