 Solution

In the classical risk model, the surplus with initial capital $u\ge 0$ iswhere $N(t)$ is a Poisson process of rate $\lambda$, and the nonnegative independent claim sizes, of mean $\mu >0$, are independent of that process. Positive relative safety loading $\rho$ makes expected premium income exceed expected claim outflow. With ruin time $T=\inf \{t\ge 0:U(t)<0\}$, the ultimate ruin probability isThe adjustment coefficient is the positive root $R$ in the finite domain of the claim moment-generating function satisfyingThe zero root is excluded by definition.

Under the stated transform-divergence assumption this positive root exists and is unique. Indeed $F(r)=M_X(r)-1-(1+\rho )\mu r$ has $F(0)=0$, derivative $F^{\prime }(0)=-\rho \mu <0$, and strictly positive second derivative on its positive domain. At a finite endpoint the diverging transform makes $F$ positive eventually. At an infinite endpoint, choose $a>0$ with $\mathbb{P}(X\ge a)>0$; the bound $M_X(r)\ge \mathbb{P}(X\ge a)e^{ar}$ makes it dominate the linear term. Strict convexity then gives exactly one positive crossing. This is the secant-slope existence criterion for an adjustment coefficient.

The Lundberg inequality isFor a short justification, the compound-Poisson transform and the defining equation make $e^{-RU(t)}$ a nonnegative martingale starting at $e^{-Ru}$. Stop it at $T\wedge t$, a bounded stopping time. On $\{T\le t\}$ its value is greater than one. The optional stopping theorem therefore gives $\mathbb{P}(T\le t)\le e^{-Ru}$; let $t$ increase to infinity. No expectation identity at an unbounded ruin time is required.