If ..., are compact, prove that E= i=1 to n is compact.
Give a straightforward proof.
Suppose that the collection is an open cover for .
For each we have
So is covered by a finite subcollection of .
Now the finite union of finite collections is a finite collection.
That proves that is compact.
BTW: This proof works in general topological spaces.