 Clearance time after closing an infinite-server queue

Stop new arrivals at time $t$ in an initially empty general-service infinite-server queue. The number remaining $v$ time units later is Poisson with mean $\lambda {\int }_v^{t+v}\mathbb{P}(S>u)du$. Thus the probability that clearance has not occurred is one minus the exponential of the negative of that mean. Letting $t\to \infty$ gives the displayed equilibrium formula, since ${\int }_v^{\infty }\mathbb{P}(S>u)du=\mathbb{E}(S-v{)}_{+}$. The clearance time is zero when no customers remain at closing.