Supremum Metric on Bounded Real-Valued Functions is Metric

Theorem
Let $X$ be a set.

Let $A$ be the set of all bounded real-valued functions $f: X \to \R$.

Let $d: A \times A \to \R$ be the supremum metric on $A$.

Then $d$ is a metric.