Let \widetilde{\mathcal{Q}}_n, n\ge0, be the following sequence of ergodic M/M/1/\infty queues with the following parameters for each \widetilde{\mathcal{Q}}_n:
Let \widetilde{H}_n(t) be the probability for \mathcal{\widetilde{Q}}_n to be empty at time t. It is well-known that \widetilde{H}_n(t) can be expressed in terms of Bessel integrals (see e.g. [Takacs, p. 23]). Moreover, setting
c_n\stackrel{\mbox{\tiny def}}{=}\bigl(\sqrt{\lambda} - \sqrt{\gamma_n}\bigr)^2,
we have, as t\rightarrow\infty, the classical estimate, valid here since \lambda>\alpha (see e.g. [ASMU, p. 107]),
\widetilde{H}_n(t) = 1- \dfrac{\gamma_n}{\lambda} +
\widetilde{h}_nt^{-3/2} e^{-c_nt} + o\bigl(t^{-3/2}e^{-c_nt}\bigr),
where \widetilde{h}_n is a uniformly bounded constant depending on the initial conditions.
Lem. Let f(\cdot) be an integrable function of t on \mathbb{R}_+, such that \displaystyle l=\lim_{t\to\infty}f(t) exists. Then
\lim_{t\to\infty}\int_0^t \mu e^{\mu(s-t)} f(s)ds = l.
Proof. Just splitting the integral into the sum \displaystyle\int_0^T +\int_T^t, where, for a given \varepsilon, T is such that
|l-f(t)|< \varepsilon ,\quad \forall t\ge T,
the proof of the lemma is immediate by letting t\to\infty, and then \varepsilon\to 0.
Let us consider now the following scheme
\begin{cases}
\gamma_0(t)= \gamma \in]0, \lambda[,\quad \forall t\ge 0,
\\[0.2cm]
\displaystyle \frac{d \gamma_{n+1}(t)}{dt} + \mu \gamma_{n+1}(t) =
\lambda\mu(1-H_{\gamma_n}(t)), \\[0.3cm]
\gamma_{n+1}(0) = 0, \quad \forall n\ge 0,\\[0.2cm]
\displaystyle H_{\gamma_n}(t) = \psi_{\gamma_n}(t)+\lambda \int_0^t D_{\gamma_n}(s,t)H_{\gamma_n}(s) ds,
\end{cases}
which differs from (Proof) only by its first equation, but this is not a minor point!
The last equation of (?) can be seen as emanating from a M(t)/M/1 ergodic queue, which we suppose to be empty at time 0. Then, by Takács formula (see [Takacs, Th.1, p. 23]), we can write
\widetilde{H}_n(t)\ge 1-\frac{\gamma_n}{\lambda}, \quad \forall \gamma_n\le\lambda.
Using now Lemma ? and (?) with \delta_n replaced by \gamma_n, we get at once \gamma_1(t)\le\gamma(1-e^{-\mu t})\le \gamma, which implies by induction that \gamma_n(t) is monotone decreasing in n, and
\lim_{n\rightarrow\infty}\gamma_n(t) =\delta(t), \quad \mathrm{with} \quad
\delta_n(t)\leqslant\delta(t)\leqslant\gamma_n(t), \quad \forall t,n\geqslant 0.
Suppose, and this is true for n=0,
\gamma_n(t) = \gamma_n + \mathcal{O}(e^{-a_n t}).
Using the monotonicity properties already mentioned and the estimate (Proof), we can write
H_{\gamma_n}(t) = 1- \dfrac{\gamma_n}{\lambda} +
\mathcal{O}\bigl(\max(e^{-a_nt},t^{-3/2}e^{-c_n t})\bigr).
Then, the integrated form
\gamma_{n+1}(t) = \lambda\mu \int_0^t e^{\mu(s-t)}(1-H_{\gamma_n}(s))ds
yields (some details are omitted),
\begin{aligned}
\gamma_{n+1}(t) = \gamma_n + \mathcal{O}(e^{-a_{n+1}t})
\end{aligned}
where
a_{n+1} = \min{(a_n,v_n)}, \quad \mathrm{with} \ v_n = \min{(\mu,c_n)}.
Choosing now \gamma_0(t)=\delta, \forall t\ge 0, in the first equation of (?), we have
\lim_{n\to\infty} a_n= \lim_{n\to\infty}\min(\mu, (\sqrt\lambda -\sqrt\gamma_n)^2) = (\sqrt\lambda -\sqrt\delta)^2,
concluding the proof of Proposition 3.7.