If numbers of heads and tails are independent, then number of tosses $N \sim \mathrm{Poisson}$ 
A fair coin is tossed a random number $N$ of times, giving a total $X$ of heads and $Y=N-X$ tails. Show that if $X$ and $Y$ are independent and the generating function $G_N(s)$ of $N$ exists for $s$ in a neighbourhood of $s=1$, then $N$ is Poisson distributed.

In other exercises, I showed the converse , which was relatively easy. I'm working through my probability book myself, but my book does not provide an answer.
I came this far:
Because we have a fair coin, each coin toss follows a $\mathrm{Bernoulli}(\frac12)$ distribution, thus having generating function $G_{X_i}(s)=\frac12+\frac12 s$ for each $i \in \{1,2,\ldots, n\}$. Using the random sum formula I found $G_N(s)=(G_N(\frac12 +\frac12 s))^2$, for the probability generating function for the random sum, because $N=X+Y$, because each coin toss yields either a heads or a tails.
The book gives as a hint: use $H(s)=G_N(1-s)$. However, I have no idea how to solve this one. This is also supposed to be one of the most difficult exercises so I'm just curious how this one has to be solved. Any ideas?
 A: I should start by saying that I don't have much experience with generating functions, but it looks to me like what you have there is simply a functional equation to solve: $G_n(s) = (G_N(1/2+s/2))^2$. The hint from the book is to introduce a new function to simplify that: let $H(s) = G_N(1-s)$ and our equation becomes $H(s) = [H(s/2)]^2$.
Now if $G_N(s)$ exists around $s = 1$, then $G_N(1) = 1$ and so $H(0) = 1$. Note also that $H(s)$ is non-negative whenever $H(s/2)$ exists, and that in fact it must be positive, because if it was $0$, then so are $H(s/2), H(s/4), \dots, H(s/2^n)$ which would make a discontinuity at $H(0) = 1$. Then, introduce yet another function $F(s) = \ln H(s)$ to simplify even further; now we have $F(s) = 2F(s/2)$ with $F(0) = 0$. Obviously any function of the form $F(s) = \lambda s$ satisfies that, so you just need to show that it must be of that form.
Consider a sequence of values $s, s/2, s/4, \dots, s/2^n, \dots$ which approaches $0$. We have
$$
{F(s)\over s} = {F(s/2)\over s/2} = \dots = {F(s/2^n)\over s/2^n} = \dots
$$
Can you see where this is going? If we suppose that $F(s)/ s \neq F(s')/s'$ again we would get a discontinuity. Can you take it from here to get back to what $G_N(s)$ must be?
