If A and B are compact subsets of some metric space M with metric d, then I think that the cross product is a compact subset of the metric space where the metric in this space is defined by

What is the best way to show that AxB is indeed compact? Is there a particularly good way to do this? I think I have a proof showing that every sequence in AxB has a convergent subsequence.

Thanks.