How to prove $X^{\omega}$ with a product toplogy is metrizable with $\rho(x,y) =\sum_{n=1}^{\infty}2^{-n}\frac{d(x_n,y_n)}{1+d(x_n,y_n)}$?
Show that the countable product of metric spaces is metrizable