Finite case (easier): Theorem. A product of finitely many compact spaces is compact. Uses the Tube lemma
General case: The product of any collection of compact spaces is compact with respect to the Product topology. In general not in the Box topology