Let be the cumulative claim amount and the surplus in the classical risk model. The supplied adjustment coefficient satisfies . The Compound Poisson process has independent increments, and the random-sum transform identity gives
It follows that is a nonnegative martingale with : conditional on the past, the multiplicative increment has expected value one. This is the exponential surplus martingale.
Let be the ruin stopping time. Surplus decreases only at claim arrivals, so on the deficit at ruin gives and . The optional stopping theorem at the bounded stopping time yields
As increases without bound, the events increase to eventual ruin. Hence the ultimate ruin probability satisfies the Lundberg inequality
The proof uses only bounded-time stopping; it does not presume that the martingale can be stopped with equality of expected values at an unbounded ruin time.
For a unit-rate exponential distribution, and for . The adjustment coefficient equation is
Its nonzero root is
It lies in for , so the moment-generating function is finite there and the Lundberg inequality applies.
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.