>>754
|f(b)-f(a)|=|∫{0,1}f'(t*b+(1-t)*a)*(b-a)dt|
=√{ Σ[j=1,n](∫{0,1}Σ[i=1,m]f'_ji*(b_i-a_i)dt)^2 }
≦√{ Σ[j=1,n] (∫{0,1} Σ[i=1,m]|f'_ji|^2dt) * (Σ[i=1,m]|b_i-a_i|^2) }
　　（コーシー・シュワルツの不等式）
= √{ ∫[0,1](Σ[j=1,n] Σ[i=1,m]|f'_ji|^2)dt * (Σ[i=1,m]|b_i-a_i|^2) }
≦√{ ∫{0,1}M^2dt * (Σ[i=1,m]|b_i-a_i|^2) }　（Mの定義から）
≦√{ M^2|b-a|^2 }
= M|b-a|