I just proved the following theorem: If $X$ is a regular space that can be written as a countable union of compact subspaces of $X$, then $X$ is paracompact. I am now working on the following: Show that $\Bbb{R}^\infty$ is paracompact as a subspace of $\Bbb{R}^\omega$ with the box top...