>>822
解析概論だと dx=Δx という定義なんだよな。
εδ法みたいなカンジだけど、そんな計算して良いモンなのか？