Infinite intersection of compact sets is compact