Let $\{S_n\,:\,n\geq0\}$ be a simple random walk with $p$ be the probability of stepping up and $q=1-p$ be the probability of stepping down. Let $T_k=\min\{n\geq1\,;\,S_n=k\}$. If $p<1/2$, is $E(T_1\,|\,T_1<\infty)<\infty$?
So far, I have the generating function $G(s)=\frac{1-\sqrt{1-4pqs^2}}{2qs}$