Chebyshev Distance on Real Vector Space is Metric

Theorem
The maximum metric on $\R^n$ is a metric.

Proof
This is an instance of the maximum metric on the general cartesian product of $A_{1'}, A_{2'}, \ldots, A_{n'}$.

This is proved in Maximum Metric is Metric.