コンパクト集合とは有界閉集合のことである
よって自明