I'm trying to express the value $P(XY > K)$ in terms of $P(X > a, Y > b)$ for some values of $a$ and $b$ that are probably related to $K$. I'm generally looking for a formula where $P(X > a, Y > b)$ is present in some form or other - it's fine if it's inside an integral or whatnot.
I've tried $\int_{0}^{\infty} P(X > z, Y > K/z)dz$, but this seems to overcount by quite a lot. Any advice on how I can express this value in the desired format?