(Cross-post from math.stackexchange.com Q#166689)

I would like to lower-bound $E[X Y]$ where $X, Y$ are two random variables such that:

1. $X \in [x_0, 1], Y \in [y_0, 1]$

2. $E[X] = x, E[Y] = y$

3. $X \geq Y^k$

Here $x_0, y_0, x > x_0, y > y_0, k$ are known constants. There is the trivial bound $E[X Y] \geq x y_0, \geq x_0 y$. Are any better bounds available?