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

(>>243の続き)
＝∫_[1,…,(a_1)^2](1/[x]−1/x)dx
　＋log((a_1)^2)−log((a_1)^2)＋1)
　＋∫_[(a_1)^2＋1,…,(a_2)^2−1](1/[x]−1/x)dx
　＋log((a_2)^2)−log((a_2)^2＋1)
　＋…＋∫_[(a_{n−1})^2＋1,…,(a_n)^2−1](1/[x]−1/x)dx
　＋log((a_n)^2)−log((a_n)^2＋1)
　＋∫_[(a_n)^2＋1,…,m](1/[x]−1/x)dx
＜γ−log(((a_2)^2)/((a_1)^2))
＝γ−log(9/4)
＜γ−log(2)
＜0