Pemeriksaan Q.78. Merekonstruksi Teorema Heine–Borel.
Buktikan bahwa subhimpunan \(K\subseteq\R^n\) kompak jika dan hanya jika \(K\) tertutup dan terbatas. Anda boleh memakai fakta bahwa setiap barisan kubus tertutup tak kosong yang menurun dan yang panjang rusuknya menuju nol mempunyai irisan tak kosong, serta bahwa subhimpunan tertutup dari ruang kompak adalah kompak.