It's actually probably easiest to prove that is compact, and to use the fact that in metric spaces (Hausdorff spaces) compactness implies closedness. To prove that is compact you must merely note that given an open cover for you can find some guy that contains , but since this guy will contain all but finitely many elements of and you can cover the finitely many rest with whatever--this gives you a finite subcover.