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

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

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

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)の不等式が表示されなくなっていたので、折り返しました。