>>793
(∫{0,1}Σ[i=1,m]f'_ji*(b_i-a_i)dt)^2
= {Σ[i=1,m](∫{0,1}f'_ji dt) * (b_i-a_i) }^2
≦{Σ[i=1,m](∫{0,1} f'_jidt)^2 } * {Σ[i=1,m](b_i-a_i)^2}
≦{Σ[i=1,m]∫{0,1}(f'_ji)^2 dt } * {Σ[i=1,m](b_i-a_i)^2}