dx=lim[凅→0]凅