>>292
>＋log((a_2)^2)−log((a_2)^2＋1)
>＋…＋log((a_3)^2−1)−log((a_3)^2)
>＋log((a_3)^2)−log((a_3)^2＋1)
>＋…＋log((a_n)^2−1)−log((a_n)^2)
>＋log((a_n)^2)−log((a_n)^2＋1)
>＝γ＋log((a_1)^2)−log((a_1)^2＋1)
>＋…＋log((a_2)^2−1)−log((a_2)^2)
>＋log((a_2)^2)−log((a_2)^2＋1)
>＋(log((a_2)^2＋1)−log((a_n)^2＋1))
と書いているということは
−log((a_3)^2＋1)＋…＋log((a_n)^2−1)−log((a_n)^2)＋log((a_n)^2)＝０
が成立するとしているのだから
この部分の＋…＋は
Σ[k=(a_3)^+1,(a_n)^2-2](log(k)-log(k+1))
ですね？
君が変形に使ってるのは
log(k)-log(k+1)＜０
なんですよ？
>>＋log((a_2)^2)−log((a_2)^2＋1)
の次の項からの
log((a_3)^2)ーlog((a_3)^2＋1)
>>＋…＋log((a_n)^2)−log((a_n)^2＋1)
の部分が
>＜
（中略）
>log((a_3)^2−1)−log((a_3)^2)
>＋log((a_3)^2)−log((a_3)^2＋1)
>＋…＋log((a_n)^2−1)−log((a_n)^2)
>＋log((a_n)^2)−log((a_n)^2＋1)
とはならない
負の値を足してるんだからむしろ不等号は
＞
向き