EDB — 0W9

[0W9] Prerequisiti:[0N1]↺↻.Sia $𝜑(t)=t/(1+t)$. Siano $(X_i,d_i)$ spazi metrici con $i\in \mathbb{N}$, sia $X={\prod }_{i\in \mathbb{N}}{X}_i$, prese $f,g\in X$ definiamo la distanza su $X$ come

Si dimostri che $d$ è una distanza.