リーマンゼータ関数
素数定理は、リーマンゼータ関数 の対数微分で定義される