lim (b-a)/n Σf(a+ (b-a)/n *k)=∫a→b f(x)dx
n→∞　　　　k=0→n-1
ってなんでですか。。区分キュウセキ法の公式使って証明するんだと思うんですが