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

>>624
>(∫_[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
>＜−∫_[1,(a_n)^2＋1)(1/x)dx
これが正しいことと
∫_[1,(a_n)^2＋1]1/[x]dx−Σ_{k＝1,2,….n}(1/(a_k)^2)＋∫_[(a_n)^2＋1,m)(1/[x]−1/x)dx＜0
Σ_[k=1,(a_n)^2]1/k−Σ_{k＝1,2,….n}(1/(a_k)^2)＋∫_[(a_n)^2＋1,m)(1/[x]−1/x)dx＜0
は同値なんだけどねぇ