Re:>>189 そのはずはなかろう, そのようなこと書いている暇があるなら,眠れ.

有界閉集合上定義された連続函数には最大値と最小値が存在する.