⊿x:=(b-a)/n
dx:=lim[⊿x→0]⊿x:=lim[n→∞](b-a)/n
∫[x=a,b]f(x)dx=lim[⊿x→0]Σ[k=1,(b-a)/⊿x]f(a+k･⊿x)⊿x=lim[n→∞]Σ[k=1,n]f{a+k･(b-a)/n}･(b-a)/n

そしてリーマン流定義域標本化式積分からルベーグ流値域標本化式積分へ