高木くんがアクセプトされるまで見守るスレ ★10

高木くんがアクセプトされるまで見守るスレ ★10 (780ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

700(12): ◆pObFevaelafK 2025/08/24(日) 13:59:53.36 ID:rna8s//1(1/3) AAS
外部ﾘﾝｸ:mathlog.info
Cramér予想の証明を修正しました。

701(1): ◆pObFevaelafK 2025/08/24(日) 18:26:12.41 ID:rna8s//1(2/3) AAS
>>700
式(6)の証明を変更しました。

702(1): ◆pObFevaelafK 2025/08/24(日) 19:58:51.77 ID:rna8s//1(3/3) AAS
>>701
f'(x)の記述に変更し、Big Oの記述を追加しました。