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

>>647
(∫_[1,(a_n)^2＋1)(1/[x]−1/x)dx−Σ_{k＝1,2,….n}(1/(a_k)^2))
＋∫_[(a_n)^2＋1,m)(1/[x]−1/x)dx
の計算をするとき、>>641に書いたことの内容と ∫_[(a_n)^2＋1,m)(1/[x]−1/x)dx が消去されることは
同時に行われるから、上から評価出来て不等式が成り立っている