[-1,1]で連続な関数f(x)の最大値がaであるとき
[0,1]でのf(x)の最大値をbとすればb≦aとなることを
背理法を使わないで証明できるでしょうか。