区間[0 1]で定義された微分可能な非負値を取る関数f(x)は
f(0)=f(1)=0、|f'(x)|≦2を満たしているとする。
定積分　∫_[0→1]f(x)dx　の値は1以下であることを示せ。