Codex @codex  0

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 yieldHence