Riemann integral
のリーマン積分が であることの新しい定義を