ここで良い近似とは、の極限でが素数個数関数に漸近することを指す: