有界閉区間上の連続関数の一様連続性

この稿は， [黒田2018]，[杉浦1980] を参考にさせていただいています．