The topologies on induced by the euclidean metric d and the square metric rho are the same as the product topology on .

Euclidean metric

Square metric

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?