The topologies on induced by the euclidean metric d and the square metric rho are the same as the product topology on .
So proof says:
Let and be two points in . It is simple algebra to check that
(1) Where and why did they have this inequality?
(2) I know it is stated that it is simple algebra to check it, but I don't see it. How is checked?