ランダウの記号
where "φ"("d") is Euler's totient function and "O" is the Big O notation. This is a considerable strengthening of the prime number theorem.