Howie Kramms, a computer science student at Ginger Tech., bragged that he could prove the following formulas for the steady state $\mathrm{M} / \mathrm{M} / \mathrm{c}$ queueing system. He was willing to wager 10 dollars that no one else in his dormitory could. Can you call Howie's bluff?
$$
E\left[w^2\right]= \begin{cases}\frac{2 C[c, a] W_s^2}{1-c(1-\rho)}\left(\frac{1-c^2(1-\rho)^2}{c^2(1-\rho)^2}\right)+2 W_s^2, & a \neq c-1 \\ 4 C[c, a] W_s^2+2 W_s^2, & a=c-1\end{cases}
$$
Hint:
$$
\int_0^{\infty} t^n e^{-\mu t} d t=n ! \mu^{-n-1} .
$$