つまり、
> =(∫_[1,(a_n)^2+1)(1/[x]−1/x)dx+∫_[(a_n)^2+1,m)(1/[x]−1/x)dx)
> −Σ_{k=1,2,….n}(1/(a_k)^2))
> <0
> <−∫_[1,M)(1/x)dx

> =(∫_[1,(a_n)^2+1)(1/[x]−1/x)dx+∫_[(a_n)^2+1,m)(1/[x]−1/x)dx)
> −Σ_{k=1,2,….n}(1/(a_k)^2))
> <−∫_[1,M)(1/x)dx
と訂正