>>266-267
低レベルなのは君の方だぞ?
>>262で書いたように>>258の理屈に基づいて考えれば、
任意の j=a_1,a_2,…,a_n なる整数jに対して
∫_[j,j+1)(1/[x]−log(x))dx
=∫_[j,j+1)(1/[x])dx−∫_[j,j+1)(log(x))dx
であるから、それも使って計算して上から評価すれば済む話だが
ちゃんと計算して上から評価出来ることを確認してからいえよ