In this question, we are given a real random variable $X$ following a geometric distribution with parameter $p \in ] 0,1 [$ arbitrary. We set $q = 1 - p$.
Show that for all $k \in \mathbf { N }$, the random variable $X ^ { k }$ has finite expectation. Show that $\Phi _ { X }$ is of class $\mathcal { C } ^ { \infty }$ on $\mathbf { R }$ and that $\Phi _ { X } ^ { ( k ) } ( 0 ) = i ^ { k } \mathbf { E } \left( X ^ { k } \right)$ for all $k \in \mathbf { N }$.