>>624
>∫_[1,m)(1/[x]−1/x)dx−Σ_{k=1,2,…,n}(1/(a_k)^2)
>=∫_[1,(a_n)^2+1)(1/[x]−1/x)dx+∫_[(a_n)^2+1,m)(1/[x]−log(x))dx
>−Σ_{k=1,2,….n}(1/(a_k)^2)
デタラメですよ