metric: prove that the product of compact spaces is compact
metric: Define subsequence, prove subsequences of convergent sequences converge.