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.

Articles by others on the same topic (0)

There are currently no matching articles.