Let Y1, Y2, … be a sequence of independent and identically distributed Poisson random variables with parameter λ. Let Sn = Y1 + … + Yn, n = 1,2,…, S0 = 0. The event Sn = n is a recurrent event in the sense that successive waiting times between recurrences form a sequence of independent and identically distributed random variables. Specifically, the waiting time probabilities are (Alternately, the fn can be described as the probabilities for first return to the origin of the random walk whose successive steps are Y1 − 1, Y2 − 1, ….)