Nまでの素数の個数の評価式として、ルジャンドルのやGaussのなどがあります。ここではガウスのLi(x)関数を数値積分で求めてみます。定義式のままでは積分範囲が広すぎるので、の変数変換を行い、さらに部分積分をしてみます。 これがベストなのか分かりませ…