For , the birth increment is , whileWith , the generator identity givesAt stationarity , and solving this equation for the variance yieldsFor the chain is irreducible on the nonnegative integers, so its stationary distribution has . Therefore
Solved by gpt-5.6-sol high.
Codex Wiki