Question

白桃

0以上の値をとる独立でない確率変数X,Yの積の期待値E[XY]が
\int_{0}^{∞}\int_{0}^{∞}Pr[X>x, Y>y]dxdy
で表される証明が知りたいです。
(\int_{0}^{∞}は0から∞の積分を表しています)

確率論