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

>>292
>log((a_1)^2)−log((a_1)^2＋1)＋log((a_2)^2)−log((a_2)^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)
と比較したいのだろうがこの
>＋…＋
て何？
もしかして
Σ[k=(a_1)^2+1,(a_2)^2-1](log(k)ーlog(k+1)]
のつもり？
ほかの
>＋…＋
も
Σ[k=(a_j)^2+1,(a_{j+1})^2-1](log(k)ーlog(k+1)]
？