Let $\{X_j\}_{j=1}^{+\infty}$ be a sequence of separable spaces.
The goal is to prove that the infinite cartesian product of separable spaces is indeed separable by showing that the product has a dense subset, arising from the fact that each $X_m$ has a countably dense subset.