>>61
スマソ、>>36だけではだめで、その前に“公式”
∫[a〜b]f(x)dx - (f(a)-f(b))(b-a)/2 = (-1/2)∫[a〜b]f''(x)(x-a)(x-b)dx
も必要。

|f''(x)|≦Mのとき、[a,b]をn等分して各小区間に上式を適用し、Mで評価して
>>36の公式を適用すると、h=(b-a)/nとして
∫[a〜b]f(x)dx = h･{f(a)/2+Σ[k=1〜n-1]f(a[k])+f(b)/2}+o(1/n) (n→∞)
が得られる（この右辺は要するに各小区間に台形公式を適用した式である）。

これをf(x)=logxに適用する。M=1でよい。
（なお定数項の決定にはやはりウォリスが必要。）