「ワイエルシュトラスの最大値定理を証明しよう！」〜連続な関数の性質〜【解析学の基礎シリーズ】関数の極限編 その16