>>801
何度も申し訳ないですが(∫{0,1} f'_jidt)^2≦∫{0,1}(f'_ji)^2 dt
となるのはどうしてでしょうか？