Solution
= Solution
For each <integer> $x$, the <events> $\{X=x,Y=y\}$, indexed by the <integers> $y$, are disjoint and their union is $\{X=x\}$. Therefore <countable additivity> gives the marginal <probability mass function>
$$
\boxed{p_X(x)=\sum_{y\in\mathbb Z}p_{X,Y}(x,y).}
$$
The nonnegative terms make this sum well-defined, even when the <support> is infinite.