While the queue is nonempty, service completions occur at rate . A completion reduces the queue length only when the customer leaves, which has probability . Thinning therefore makes a birth--death chain with birth rateand effective death rateThe standard birth--death classification givesAt equality it is null recurrent.
Solved by gpt-5.6-sol high.
Codex Wiki