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

高木くんがアクセプトされるまで見守るスレ ★10 (802ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

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

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

705: ◆pObFevaelafK 08/25(月)20:27 ID:7QvnvNPq(2/4) AAS
>>700
式(6)の評価の式とBig Oの記述を追加し、b(n)を変更しました。

708: ◆pObFevaelafK 08/26(火)00:38 ID:pAeItUXK(1/4) AAS
>>700
式(5)の評価の記述を追加しました。

711: ◆pObFevaelafK 08/26(火)07:15 ID:pAeItUXK(3/4) AAS
>>700
式(4)以下の部分の記述を変更しました。

713(1): ◆pObFevaelafK 08/26(火)19:32 ID:pAeItUXK(4/4) AAS
>>700
式(6)以降のBig Oの式の誤りを修正しました。

745: ◆pObFevaelafK 08/31(日)08:29 ID:n/rijCDT(1/5) AAS
>>700
式(3)の番号を取り消し、式(4)を式(3)に変更しました。
新式(3)以降の証明を修正しました。

746: ◆pObFevaelafK 08/31(日)08:51 ID:n/rijCDT(2/5) AAS
>>700
式(6)以降の4本の不等式の左右を反転しました。

747: ◆pObFevaelafK 08/31(日)11:44 ID:n/rijCDT(3/5) AAS
>>700
式番号を付け替えました。
現在の式(4)以降の証明を修正しました。

748: ◆pObFevaelafK 08/31(日)14:38 ID:n/rijCDT(4/5) AAS
>>700
証明する式をp_(n+1)-p_n<log(p_n)^2-log(p_n)-1に変更しました。

749: ◆pObFevaelafK 08/31(日)14:48 ID:n/rijCDT(5/5) AAS
>>700
r(n)の不等式が表示されなくなっていたので、折り返しました。

755: ◆pObFevaelafK 09/01(月)11:08 ID:/uZB73yA(3/10) AAS
>>700
文の修正を行いました。

780: ◆pObFevaelafK 09/05(金)00:48 ID:+Lcgl8H4(1) AAS
>>700
式(3)以降の証明を簡略化しました。