Una forma estándar de par de dos variables aleatorias tales como estos, es con la pareja, ambos con el uniforme de probabilidad en $[0,1]$, utilizando funciones de distribución acumulativa y, a continuación, eliminar el medio de la probabilidad.
En este caso, las funciones de distribución acumulativa se $F_X(x) = 1 - 1/x$ $F_Y(x) = 1 - 1/x^3$ (ambos apoyados en $[1,\infty)$). Tenga en cuenta que sus funciones inversas $F_X^{-1}(y) = 1/(1-y)$ $F_Y^{-1}(y) = 1/(1-y)^{1/3}$ ambas son funciones crecientes de$[0,1)$$[1,\infty)$.
Deje $W$ ser una variable aleatoria uniforme en $[0,1]$, definir $X' = F_X^{-1}(W)$$Y' = F_Y^{-1}(W)$, y definir $Z'=(X',Y')$. Las definiciones de $X'$ $Y'$ asegurarse de que tienen las mismas distribuciones como $X$$Y$, respectivamente; por otra parte, el hecho de que $F_X^{-1}(y) \ge F_Y^{-1}(y)$ asegura que $X' \ge Y'$ (todo el tiempo, no sólo con una probabilidad de $1$).
(Tenga en cuenta que esta construcción se terminó dándole $X' = (Y')^3$, como se propone en el Momo de la anterior respuesta.)