Stationary distribution of an M-M-infinity queue (source code)

= Stationary distribution of an M-M-infinity queue

For every $\lambda,\mu>0$, an $M/M/\infty$ queue is positive recurrent and has the <Poisson distribution> with mean $\rho=\lambda/\mu$ as its unique stationary distribution:
$$
\pi_n=e^{-\rho}\frac{\rho^n}{n!}.
$$