検証作業中にMangoldtの再定式化を見た結果早とちりして、この編集で早まった断定をしてしまいました。申し訳ありません。いくつかの形式で同値な公式が存在して、それらを素数公式と呼んだり明示公式と呼んだりしているという認識でいるのですが、合っているでしょうか？ Merliborn (会話) 2022年2月12日 (土) 15:06 (UTC)[返信]
