「点列の場合のボルツァーノ-ワイエルシュトラスの定理とその証明」「多次元版ワイエルシュトラスの最大値定理の証明」【解析学の基礎シリーズ】多変数関数編 その18 https://for-spring.com/analysis/multivariable-18/