君の使ってるのは
S[m}＜γ
と
log(a_ｋ)^2ーlog((a_ｋ)^2＋1)＜０
だけなのね？
それ以外使ってないなら
∫_[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_1)^2+1)+log(a_2)^2ーlog((a_2)^2+1)
<γーlog(50/36)≒0.2487
<γーlog(9/4)≒ー0.2337
はまったく全然一瞬で分かるデタラメです