Inter-universal geometryとABC予想(シン応援スレ) 91

>>310
>＋…＋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_2)^2＋1)−log((a_2)^2＋2)
＋…＋log((a_n)^2)−log((a_n)^2＋1)
＝log((a_2)^2＋1)−log((a_n)^2＋1)
と負の値であるから、
それを消すように上から評価すればよい