INTEGERS

だって素数の無限性を出せるんだからね！！定理１ をを満たすような複素数とするとき、が成り立つ。Möbius関数についてはメビウス関数 - INTEGERSを参照してください。証明. をとおく。これらはで絶対収束し、解析関数を定める。 と計算できるので、両辺を微分することにより を得る。Möbius関数の記事における補題１によ…