問題は、

im_{t → b-0, s → a+0} ∫_{s}^{t} f(x) dx

が存在するならば

lim_{s → a+0} ∫_{s}^{c} f(x) dx

および

lim_{t → b-0} ∫_{c}^{t} f(x) dx,

が存在することを証明せよ

です。

im_{t → b-0, s → a+0} ∫_{s}^{t} f(x) dx

の定義は、

>>163

に書いてあります。