Let $(X_n)_{n\in\mathbb{N}^*}$ be a sequence of random variables, mutually independent, with the same distribution taking values in $\mathbb{N}$, and let $T$ be a random variable taking values in $\mathbb{N}$ independent of the previous ones. We denote by $G_X$ the generating function common to all the $X_n$. For $n\in\mathbb{N}$ and $\omega\in\Omega$, we set $S_n(\omega)=\sum_{k=1}^n X_k(\omega)$ and $S_0(\omega)=0$, then $S(\omega)=S_{T(\omega)}(\omega)$. For $K\in\mathbb{N}$ and $t\in\left[0,1\left[$, we set $R_K=\sum_{n=0}^\infty\left(\sum_{k=K+1}^\infty P(T=k)P\left(S_k=n\right)t^n\right)$. Show that $0\leqslant R_K\leqslant\frac{1}{1-t}\sum_{k=K+1}^\infty P(T=k)$.
Let $(X_n)_{n\in\mathbb{N}^*}$ be a sequence of random variables, mutually independent, with the same distribution taking values in $\mathbb{N}$, and let $T$ be a random variable taking values in $\mathbb{N}$ independent of the previous ones. We denote by $G_X$ the generating function common to all the $X_n$. For $n\in\mathbb{N}$ and $\omega\in\Omega$, we set $S_n(\omega)=\sum_{k=1}^n X_k(\omega)$ and $S_0(\omega)=0$, then $S(\omega)=S_{T(\omega)}(\omega)$.
For $K\in\mathbb{N}$ and $t\in\left[0,1\left[$, we set $R_K=\sum_{n=0}^\infty\left(\sum_{k=K+1}^\infty P(T=k)P\left(S_k=n\right)t^n\right)$.
Show that $0\leqslant R_K\leqslant\frac{1}{1-t}\sum_{k=K+1}^\infty P(T=k)$.