[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
97(2): ◆pObFevaelafK [sage] 2023/07/01(土)20:47 ID:fhglraoY(10/15)
>>96
論文をちゃんと読めていない
F(x)=(log(pn+1)-log(pn))/(x-pn)で単調減少関数であり、pn+1≧pn+log(pn)だから
F(x)の値を要素とする集合B(最新ではA)の下界となる。
98: ◆pObFevaelafK [sage] 2023/07/01(土)20:48 ID:fhglraoY(11/15)
>>97 訂正
×F(x)の値を要素とする集合B(最新ではA)の下界となる。
〇F(pn+1)はF(x)の値を要素とする集合B(最新ではA)の上界となる。
99(1): １３２人目の素数さん [] 2023/07/01(土)20:53 ID:sEr4WxkN(3/5)
>>97
とりあえず書き方がおかしいんだよ
F(x)の値を要素に持ったところで、それはF(x)の値域を意味しないのよ
いい加減集合の記法ぐらい勉強してよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s