>>768
あ…そうですね…とんでもないミス
>>767は撤回します

十分小さいεに対して
f(0)-e＜f(x)＜f(0)+e for all x ∈[aε,bε]
をxで割って積分すれば評価になるかな