質問: 解析学の質問です。
回答: もし, 任意のa∈Mに対してa≦βが成り立つとすると, βは上界の元となる. ゆえに, βは上界の元ではないことから βより大きなa∈Mが存在する. aがとれてしまったがために,tを画像のようにとることで, βが最大限であることに矛盾することを証明に使用している