A proof of simple insensitive bounds for a pure overflow system

Abstract

In [1], [4] and [6] simple and intuitively obvious bounds were suggested for various overflow systems and claimed to be insensitive, that is to be valid also in the non-exponential case. This insensitivity was formalized in [4] and [6] when the service distributions have a monotone failure rate. This technical note provides another proof which for the case of a pure overflow system with one customer class extends the insensitivity to the general case.