Solution
= Solution
Take $Y=UX_1$, where $U$ is uniform on $(0,1)$ and independent of $X_1$. Conditional <expectation> gives
$$
\boxed{\mathbb E(e^{tUX_1})=\int_0^1\mathbb E(e^{utX_1})du
=\int_0^1M_1(ut)du.}
$$
For $t$ in a sufficiently small neighborhood of zero, finiteness follows from finiteness of the original <moment-generating function> in such a neighborhood.
This uses the <moment-generating function of an independent product>.