 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: