Let $X$ be a normed space. Show that there is a compact Hausdorff space $Y$ such that $X$ is isometrically isomorphic to a subspace of $C(Y)$.
I think this might be proved using the Banach–Alaoglu theorem, but I haven't been able to do it.
Is there another result I might need to use?