X,Yは距離空間、f:X→Yは連続写像とする。
Xが（点列）コンパクト空間なら、fの像f(X)は（点列）コンパクト集合である

の証明教えてください。コンパクトでも、点列コンパクトでもいいそうです。