Pada \(X=[0,1]^{\N}\text{,}\) ambil \(p_n(x,y)=|x_n-y_n|\text{.}\) Buktikan bahwa \(d(x,y)=\sum_{n\geq1}2^{-n}p_n(x,y)\) adalah metrik yang menginduksi topologi hasil kali.