The queue length is an M-M-1 queue and hence a birth-death process with birth rate and death rate away from zero. The detailed-balance equations areWriting , they give . Since , this measure is summable and normalization yieldsThe existence of this invariant probability distribution for the irreducible nonexplosive chain proves positive recurrence.
Solved by gpt-5.6-sol high.
Codex Wiki