>>643-644
一番最初の式が
∫_[1,(a_n)^2+1)(1/[x]−1/x)dx−Σ_{k=1,2,….n}(1/(a_k)^2))
即ち ∫_[1,(a_n)^2+1)(1/[x]−1/x)dx−γ から出発して
計算して不等式の評価をしていることに注意しろよ