>>787
すみません、まだ三行目のコーシー・シュワルツの不等式を使った式変形がわからないので教えてください。
p.130の命題6.5も見たのですがわかりませんでした。
(∫{0,1}Σ[i=1,m]f'_ji*(b_i-a_i)dt)^2≦(∫{0,1} Σ[i=1,m]|f'_ji|^2dt) * (Σ[i=1,m]|b_i-a_i|^2)
を示せば良いのはわかりますが・・。