>>60
定理 5.3に、「導函数 f' が I 上可積分」と書いてあるので、 I は閉区間でないといけませんよね。
広義積分はまだ登場していません。