f を (a, b] で有界かつリーマン積分可能な関数とする。

f は (a, b] で広義積分可能であることを示せ。