この記事のコードをJupyter notebook形式で見るにはこちら。 素数個数関数に対するリーマンの明示公式で使用した\(J(x)\)関数の第1項が素数の位置を正確に知っている、というお話しをしました。この項がゼータ関数の非自明零点からの貢献になっています。た…