>>898
積分の定義をどうぞ
リーマンでもルベーグでもいいよ