1) Geogebra の UpperSum, LowerSum を使う
2) n=1,...,100 を gif アニメに export
(すると 1 to 100 to 1 の gif アニメが生成)
(3655KB)
3) Giam (古い)で 1 to 100 を avi に変換
4) Handbrake で m4v に変換(327KB)
だけど、はてなブログに、m4v の貼り付け方がわからない（Youtube 経由とかはなしで）．
ちなみに，単調な区間において UpperSum - LowerSum = ( Max - Min ) / n だから
もし UpperSum, LowerSum が収束するならば同じ値に収束し、よってはさみうちの原理から定積分が存在する．
2022.12.11追記
RectangleSum(f, a, b, n, r)
で r=0 で左端、0.5 で真ん中、1 で右端
ということもできることがわかった．
