>>278-280
>面積が S[m] に等しい広義積分が表す図形の面積 S[m] から
(中略)
>log((a_1)^2)−log((a_2)^2+1)
>=log(4)−log(10)
>=−log(5/2)
>の負の面積を引いているから、いえる
君が示したのは
S[m]-q/p
<γ+log(a_1)^2ーlog((a_1)^2+1)+log(a_2)^2ーlog((a_2)^2+1)+…+log(a_n)^2ーlog((a_n)^2+1)
ということだけ
ここからどうして
S[m]-q/p<γ+log(a_1)^2ーlog((a_2)^2+1)
となるかは示していないし
ここで使っているのが
log(a_k)^2ーlog((a_k)^2+1)<0
だけなら
γ+log(a_1)^2ーlog((a_1)^2+1)+log(a_2)^2ーlog((a_2)^2+1)+…+log(a_n)^2ーlog((a_n)^2+1)
<γ+log(a_1)^2ーlog((a_1)^2+1)+log(a_2)^2ーlog((a_2)^2+1)
=γーlog(50/36)
とまでしか言えないんですよ
残念でしたね
アホラシ