閉区間 Iで定義された連続関数f(x)は最大値を持ちますが、
その最大値を与えるxのうち最小のものをとることはできますか？
すなわち、最大値をMとして、集合{t∊I|f(t)=M} には最小元があるといえますか？