ただのメモ

他の人に見せても良い方のメモ

2022-06-24から1日間の記事一覧

ベルトラン=チェビシェフの定理

ベルトラン・チェビシェフの定理なるものがある。 ここを出発点に記事を書いてみる。 始めましょうか ベルトラン=チェビシェフの定理のwiki 任意の自然数nに対して、n<p<=2nを満たす素数pが存在する 証明の概略 背理法 超ざっくりした説明だったので、これについて知りたいと思った。 よって、こちらの文献を見る。 補題1 自然数n>=4で、2nCnが4^n/nより大きい 2nCnの下限を決めていく 補題2 自然数nで、2nCnが2^{2n-1}</p<=2nを満たす素数pが存在する>…