すみません、>>487なのですが…
任意分割⊿:1＝x_0<…<x_n＝2を定めるのですが、このとき、n等分割で考えて
上積分や下積分を計算しそれらが等しいといえば、定義どおり証明したことになるんでしょうか。