Let $X,Y,W,Z$ be Banach Spaces. Let $X\otimes_{\pi}Y$ denote the tensor product endowed with the projective norm.
If I have $S\in B(X,Z)$, $T\in B(Y,W)$, it is straightforward to show that $S\otimes T\in B(X\otimes_{\pi} Y, Z\otimes_{\pi}W)$ with $\|S\otimes T\|\leq \|S\|\cdot\|T\|$.
According to Raymond Ray in Introduction to Tensor Products of Banach Spaces, the reverse inequality "... follows easily from $S\otimes T(x\otimes y) = Sx\otimes Ty$."
I cannot see how to get it.
For fixed $\epsilon > 0$, I tried choosing elements $x\in B_{X}$ and $y\in B_{Y}$ such that $$\|Sx\| > \|S\| - \epsilon\text{ and }\|Ty\| > \|T\| - \epsilon$$ which gives $$\|S\otimes T(x\otimes y)\| > \|T\|\cdot \|S\| - \epsilon (\|S\| + \|T\|) + \epsilon$$
But this turns out to be fruitless, because even though I can take $\epsilon\to 0$, $x\otimes y$ need not be in the unit ball of $X\otimes_{\pi} Y$.
Can anyone give me a hint (the vaguer the better)?
$\bf{\text{Available Fact}}$:
The closed unit ball $B_{X\otimes_{\pi} Y}$ is equal to the convex hull of $B_{X}\otimes B_{Y}$.
Since projective tensor norm is a cross norm we have $\Vert x\otimes y\Vert=\Vert x\Vert\Vert y\Vert\leq 1$. Then $$ \Vert S\otimes T\Vert \geq\Vert S\otimes T\Vert\Vert x\otimes y\Vert \geq\Vert(S\otimes T)(x\otimes y)\Vert =\Vert S(x)\otimes T(y)\Vert =\Vert S(x)\Vert\Vert T(y)\Vert \geq(\Vert S\Vert-\varepsilon)(\Vert T\Vert-\varepsilon) $$ Taking the limit $\varepsilon\to 0$ we get $\Vert S\otimes T\Vert\geq \Vert S\Vert\Vert T\Vert$.