積分できると分かってる関数の極限で定義した積分