Solution
= Solution
On the probability space $(X^2,\eta)$, put $A=I\times X$ and $B=X\times J$. The marginal conditions give $\eta(A)=x$ and $\eta(B)=y$, while $A\cap B=I\times J$. The elementary <Fréchet inequalities> yield
$$
\eta(A)+\eta(B)-1\leq\eta(A\cap B)
\leq\min\{\eta(A),\eta(B)\}.
$$
Hence
$$
\boxed{x+y-1\leq\eta(I\times J)\leq\min\{x,y\}.}
$$