En primer lugar, observe que $$ \mathbb{P}\{X>t\}=\sum_{n > t}\mathbb{P}\{X=n\} $$ por lo que se puede demostrar que la propiedad de ausencia de memoria implica ( $s,t>0$ ) $$ \mathbb{P}[X>s+t| X > t]=\mathbb{P}\{X> s\} $$ Tenga en cuenta también que, dado que $s>0$ $$ \mathbb{P}[X>s+t| X > t\} = \frac{\mathbb{P}\{X>s+t\}}{\mathbb{P}\{X > t\}} $$
Definir $f\colon t\in\mathbb{R}_+\mapsto\mathbb{P}\{X>t\}\in[0,1]$ . Tenemos $f\searrow$ y además $\forall t,s\geq 0$ $$ \frac{f(t+s)}{f(t)}=f(s) $$
es decir $$ f(s)f(t)=f(s+t)\qquad \forall s,t \geq0 $$ Ahora, queda por resolver esta ecuación funcional (con la condición adicional de que $f$ es no creciente) para obtener la(s) única(s) forma(s) posible(s) para $\mathbb{P}\{X> t\}$ - que caracteriza a $X$ de la ley.