数学ナビゲーター掲示板

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

■50251 / 親階層)  素数積の評価〜ベルトラン・チェビシェフの定理
□投稿者/ 富豪閣 一般人(1回)-(2020/03/17(Tue) 14:24:37)
     ここの過去スレにありましたが、AKITOの部屋のベルトラン・チェビシェフの定理の証明の過程で表れる

     2 以上の自然数 n に対し、P≦n を満たす素数 P の積 P[n] は 2^(2n-3) 以下である。・・・・・(※)

    という定理についての質問です。動画は
      ttps://www.youtube.com/watch?v=AhbgNe-E2S0
    です。

      ・--------------・--------------・-------------・---
      1         √(2n)        2n/3         n
                 <------------->
              ここの素数積の評価 P[0]

     ※より
      P ≦ 2n/3 を満たす素数 P の積 P[1] は  P[1] ≦ P2^(4n/3-3)
      P ≦ √(2n) を満たす素数 P の積 P[2] は P[2] ≦ 2^(2√(2n)/3-3)
    であるから
      √(2n) < P ≦ 2n/3 を満たす素数 P の積 P[0] は
                   2^(4n/3-3)
      P[0] = P1/P2 ≦ ────────
                  2^(2√(2n)/3-3)
    と評価するのは誤りである。

     この '誤り' についてなのですが、これがよくわかりにくいです。

      P[0] ≦ P2^(4n/3-3)

    ではあっても

      P[0] ≦ 2^(2√(2n)/3-3)

    とは言えず

      P2 ≦ 2^(2√(2n)/3-3) ⇒ 1/P2 ≧ 1/( 2^(2√(2n)/3-3) )

    ですから

      P[0] ≦ 1/2^(2√(2n)/3-3)

    ともいえない。しかし、ここから
            2^(4n/3-3)
      P[0] ≦ ────────
           2^(2√(2n)/3-3)
    誤りだとするのがわかりにくいです。

記事引用 [メール受信/OFF] 削除キー/

前の記事(元になった記事) 次の記事(この記事の返信)
親記事 →Re[1]: 素数積の評価〜ベルトラン・チェ.. /らすかる
 
上記関連ツリー

Nomal 素数積の評価〜ベルトラン・チェビシェフ.. / 富豪閣 (20/03/17(Tue) 14:24) #50251 ←Now
Nomal Re[1]: 素数積の評価〜ベルトラン・チェ.. / らすかる (20/03/17(Tue) 15:42) #50252
  ├Nomal Re[2]: 素数積の評価〜ベルトラン・チェ.. / 富豪閣 (20/03/17(Tue) 16:00) #50253
  └Nomal Re[2]: 素数積の評価〜ベルトラン・チェ.. / コルム (20/03/21(Sat) 08:57) #50256
    ├Nomal Re[3]: 素数積の評価&#12316;ベルト.. / スペイン風邪 (20/03/21(Sat) 12:30) #50257
    └Nomal Re[3]: 素数積の評価〜ベルトラン・チェ.. / 都の西北倭背堕の隣罵化多大学 (20/03/21(Sat) 12:58) #50258

All 上記ツリーを一括表示 / 上記ツリーをトピック表示
 
上記の記事へ返信

Mode/  Pass/

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター