>>519
f'有界がいるだろ
有界ならf'を+と-に分けても可積分だ