>>669
> 最大値の定理よりｆが区間[a,x_1]で最大値を持つことを示せば十分でしょうか？

十分ではないでしょう。
ｆが区間 I で最大値を持つことまで証明しないと。