We assume that for all $d \geqslant 0$, $\mathbb{P}(X \in d\mathbb{Z}) < 1$, and that only finitely many $p_i$ are strictly positive. We set
$$g_0(x) = \begin{cases} \mathbb{P}(X > x) & \text{if } x \geqslant 0 \\ 0 & \text{if } x < 0 \end{cases}$$
and $Lg_0$ denotes the unique bounded solution of (E) with support in $\mathbb{R}^+$ for $g = g_0$. Show that $Lg_0(x) = 1$ for $x \geqslant 0$ and $Lg_0(x) = 0$ for $x < 0$.