リーマン積分
where the integral on the right-hand side is the standard Riemann integral.