[過去ログ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
905
(3): 896 [sage] 2023/08/08(火)13:18 ID:vMegdO9X(1/2)
>>896,899
一応、真面目な反例のつもりなんだが、スルーされてっぽくて哀しい。スルーならそれでもいいけど、何かしらコメントをくれ。
少し補足。数値の根拠は、n/log n = n/30 となるようなn。
左辺は、素数定理によるnまでの素数の個数の近似値。
右辺は、nに対して高木対応を成立させるために必要な素数の個数。
n/log n < n/30 となるようなnでは高木対応は成立しない。
素数定理の含む誤差を考慮して、n=10^14 以上であれば、不成立としてよいかと思う。素数の冪の個数は、このあたりのnに対しては、素数の個数の1/100程度なので、素数定理の誤差と一緒に丸めた。
906: 896 [sage] 2023/08/08(火)13:22 ID:vMegdO9X(2/2)
>>905
単に素数って書いちゃったけど、5以上の素数のことです。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.038s*