>>163
前半:コンパクト集合上の連続関数の性質
後半:無限遠方で2集合が近づくように