[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
590(1): 2023/03/28(火)00:54 ID:Bo9z20Qu(2/3) AAS
>>586
少なくとも上界という言葉は実数の部分集合とセットなので、Iを定義してください。
実は上に書いたI={(log(p_n+1)-log(p_n)/(p_n+1-p_n)の取りうる値}という定義でも数学的には不十分で、「取りうる値」とは何を動かしたときの取りうる値なのか？p_n+1を動かすのか？分子を固定して分母をx>log(p_n)の範囲で動かすのか？をはっきりさせていただかないとIが集合として定まりません。これを踏まえた上で考えて頂きたいです。
592: ◆pObFevaelafK 2023/03/28(火)02:05 ID:fkJ9poLY(8/22) AAS
>>590
その式は固定値の値であり、何かを変動させるものではありません
わざとらしくボケているだけかもしれないですが、その式の値の上界がF(p_{n+1})だということに
なります。この上界は、Ⅱのⅱの条件を満たす全てのnで成立するので、具体的にその範囲
は書いていません。その後、n≧2のときにこの上界の値よりも、log(n+1)-log(n)の方が大きく
なるということを証明しています。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s