Supremum Metric on Continuous Real Functions is Metric/Proof 1

Proof
Let $\mathscr B \left({\left[{a \,.\,.\, b}\right], \R}\right)$ be the set of all bounded real functions $f: \left[{a \,.\,.\, b}\right] \to \R$.

From Supremum Metric on Continuous Real Functions is Subspace of Bounded, $\left({\mathscr C \left[{a \,.\,.\, b}\right], d_{\mathscr C} }\right)$ is a (metric) subspace of $\left({\mathscr B \left({\left[{a \,.\,.\, b}\right], \R}\right), d}\right)$.

The result follows from Subspace of Metric Space is Metric Space.