最大値aは集合に含まれる全て元に対してb≦aじゃないといけないの