>>253
∫_[1,…,(a_1)^2](1/[x]−1/x)dx+…+∫_[(a_n)^2+1,…,m](1/[x]−1/x)dx+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(a_n)^2ーlog((a_n)^2+1)
<γ+log(a_1)^2ーlog((a_2)^2+1)
はなぜ?
lそれが言えるためには
ーlog((a_1)^2+1)+log(a_2)^2+log(a_3)^2ーlog((a_3)^2+1)…+log(a_n)^2ーlog((a_n)^2+1)<0
が言えなくてはいけないけれど示してないよね
log(a_k)^2ーlog((a_k)^2+1)<0
を使うつもりなら
ーlog((a_1)^2+1)+log(a_2)^2=log9/5>0
なので全然ダメダメ
一瞬で分かる