8.3 The inclusion \(\ell _1 \to \ell _\infty \)
This section computes both sides of the maximal difference theorem for the natural inclusion
\[ I \colon \ell _1 \to \ell _\infty , \qquad (x_j)_j \mapsto (x_j)_j , \]
a contraction which is not compact.