 Lundberg inequality

For a classical risk model with adjustment coefficient $R>0$, the ultimate ruin probability from capital $u\ge 0$ satisfies $\psi (u)\le e^{-Ru}$. Stop the exponential continuous-time martingale at ruin or a finite horizon, bound its value on the ruin event, and then increase the horizon.