リーマン積分
The classical Riemann integral of a function formula_3 can be defined by the relation