Carried load of an Erlang loss resource (source code)

= Carried load of an Erlang loss resource
{title2=$m_C(a)=a[1-E(a,C)]$}

For offered load $a$ and capacity $C\geq1$, the carried load equals the mean occupancy:
$$
m_C(a)=a[1-E(a,C)].
$$
Differentiating the truncated-Poisson equilibrium weights gives $m_C'(a)=\operatorname{Var}_a(N)/a>0$ for $a>0$. The carried load increases from zero to $C$. This monotonicity supplies the strictly increasing term in the <convex potential for the Erlang fixed point>.