On the continued Erlang loss function

We prove two fundamental results in teletraffic theory. The first is the frequently conjectured convexity of the analytic continuation B(x, a) of the classical Erlang loss function as a function of x, x 0. The second is the uniqueness of the solution of the basic set of equations associated with the ‘equivalent random method’