0228132人目の素数さん垢版 | 大砲2018/06/14(木) 14:14:26.49ID:Tkc3gSqt なお −|logΘ| の有限性については GoのサーベイのProp.1.12 (原論文だと[IUTchIV,Thm.1.10]) より従う 詳しくはGoのサーベイの34〜35ページ http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2018May28.pdf