ErdosによるBertrandの仮説の証明 (1)

[@ゆしの]

当然、素数定理から一より大きい任意の実数αに対して、n≦p

[@ron1827]

ありがとうございます。ぼくはこのあたりの歴史に詳しくないのですが、素数定理より先にそんな定理があったんですね。