Suppose linear operators on a normed vector space satisfy uniformly and on a dense subspace. The displayed triangle inequality for any element of that subspace first permits to approximate , then lets increase, proving for every . Applied to the Bernstein polynomial, the Weierstrass approximation theorem supplies the dense polynomial subspace and .
The Weierstrass approximation theorem states that the polynomials are a dense subspace of in the supremum norm. By linearity and (c), uniformly for every polynomial . Given and , choose a polynomial with . The operator norm estimate in (a) gives
First let , then . Hence for every continuous . This is an instance of extension of approximation operators from a dense subspace.