リーマン積分
the Riemann integral of "f" over ["a", "b"].