Richterによる素数定理の新証明の検証を行う。

昨日、SoundararajanがarXivに記事をあげていて、さらっと読んだので部分的に紹介する*1。 定理とその証明 次の有名な基本的定理をRamanujanとErdősによるBertrandの仮説の証明を真似れば証明できるということが書かれている。定理 を有限体、を正整数とする…

ベルヌーイ多項式はで定義されるのでした。Almkvist-Meurmanが証明した次の定理を紹介します*1。定理 を正整数とする。とおくとき、が成り立つ。ここで紹介する証明はSuryによるものです*2。なお、定理はの場合もであることから自明に成立しています。 ベル…