＞f(x)=xとしてdx=Δx。
これでwell-definednessを確かめてるということかな？