A new proof of \(\ell_1 \overset\vee\otimes X \subseteq c_0 \overset\wedge\otimes X\) (Q698546)

The author gives a new proof of a result from \textit{A. Grothendieck}'s Résumé [Bol. Soc. Mat. São Paulo 8, 1-79 (1956; Zbl 0074.32303)], stating that given a Banach space \(X\), the injective tensor product of \(\ell_1\) and \(X\), \(\ell_1 \widehat\otimes_\varepsilon X\), is contained in the projective tensor product of \(c_0\) and \(X\), \(c_0 \widehat\otimes_\pi X\). To obtain this result, the author first uses Khinchin's inequality to show that the space of weakly \(1\)-summable sequences on \(X\) is contained in the space of strongly \(\infty\)-summable sequences on \(X\). The norm of the inclusion mapping of \(\ell_1 \widehat\otimes_\varepsilon X\) into \(c_0 \widehat\otimes_\pi X\) calculated via this method is \(\sqrt{2}\). However, the optional estimate for the norm is known to be \(1\).