Suppose x and y are discrete random variable, I can write them in summation. And it seems like they are equal. Any ideas?
It's $E[y|x<y]* P(x<y)$ on the second expression but otherwise fine yes. We can prove it using the law of total expectation without independence of $x,y$.