I don't know who first observed this (maybe Archimedes?) but it is true because $C(\{0,1 \}^\Gamma)$ is a quotient of $\ell_1^\Gamma$ and hence $\ell_1(2^\Gamma)$ embeds into $\ell_\infty(\Gamma)$.
Bill Johnson
- 31.5k
- 5
- 90
- 138