Esta es mi opinión sobre la respuesta a la pregunta utilizando la respuesta de Did. Lo bueno de su prueba es que sólo se basa en la igualdad de las FCD en los enteros y en la igualdad de los primeros momentos.
Dejemos que $X$ sea Poisson con CDF $F_X$ y $Y$ sea cualquier variable aleatoria con FCD $F_Y$ tal que $F_Y(n)=F_X(n)$ para todo número entero no negativo n. Entonces, $F_X⩾F_Y$ en todas partes. Esto implica que se puede acoplar X e Y de tal manera que $Pr(X⩽Y)=1$ .
Para ver esto, defina considerar una nueva variable aleatoria $Z$ que descansa en el mismo espacio de probabilidad que $X$ . Condicionado a $X=k$ , dejemos que $Z$ tienen la distribución de $Y|Y \in [k,k+1).$ Observe que $Pr(X⩽Z)=1.$ Además, $$F_Z(x)\\=\sum_{j=0}^{\lfloor{x} \rfloor-1}f_X(\lfloor{j} \rfloor)+f_X(\lfloor{x} \rfloor)*F_Z(x|X=\lfloor{x} \rfloor) \\=F_X(\lfloor{x} \rfloor)+f_X(\lfloor{x} \rfloor)*F_Y(x|Y \in[\lfloor{x} \rfloor,\lfloor{x} \rfloor+1)) \\=F_Y(\lfloor{x} \rfloor)+f_Y(\lfloor{x} \rfloor)*F_Y(x|Y \in[\lfloor{x} \rfloor,\lfloor{x} \rfloor+1)) \\=F_Y(\lfloor{x} \rfloor)+f_Y(\lfloor{x} \rfloor)* \frac{F_Y(x)-F_Y(\lfloor{x} \rfloor)}{f_Y(\lfloor{x} \rfloor)} \\=F_Y(x).$$
Además, $E(x)=E(y) (=E(z))$ implica que $Pr(Z=Y)=1.$ Por lo tanto, la respuesta a mi pregunta era "No".