Of all the equivalent metrics in Euclidean spaces, the sup metric is the one which can immediately be extended to infinite products of real lines. Nonetheless, it appears that no one has investigated the properties of this metric; since we could not think of any good reason for this, we decided to have a go at it and, in our opinion, the results which follow show that this metric is useful. Man...