The severity is an equal-weight mixture distribution of rate- and rate- exponential distributions. Its expected value is
The moment-generating function, finite exactly for , is
Canceling the nonzero in the adjustment coefficient equation and multiplying by the positive denominator on gives
Thus the required polynomial is
Since , , and the leading coefficient is positive, one root lies in and the other exceeds . Only the smaller root is in the moment-generating function domain. Consequently
The rationalized expression avoids subtraction of nearly equal numbers when is small.
The erroneously chosen same-mean exponential distribution gives . Direct substitution shows , so lies strictly between the two polynomial roots, and in particular . Therefore
while both bounds equal one at . The exponential misspecification produces a smaller claimed upper bound. The Lundberg inequality certifies for the actual mixture; it does not certify the smaller expression computed from the wrong severity law.

Articles by others on the same topic (0)

There are currently no matching articles.