Equilibrium claim-size distribution ($f_I(x)={\overline{F}}_X(x)/\mu$)

For a nonnegative claim size $X$ of finite positive mean $\mu$, its equilibrium claim-size distribution has this density and survival function ${\overline{F}}_I(x)={\mu }^{-1}{\int }_x^{\infty }{\overline{F}}_X(t)dt$. The tail integral formula for moments normalizes the density. Its moment-generating function is $(M_X(r)-1)/(\mu r)$ wherever finite, so at an adjustment coefficient it equals one plus the safety loading.

A nonnegative lifetime or claim law is new better than used in expectation if its mean residual life at every age with positive survival is at most its original mean. The displayed equivalent inequality says that its equilibrium claim-size distribution is no larger in stochastic order than the original law. For an Erlang distribution of shape two and rate one, the two survival functions are $(1+x/2)e^{-x}$ and $(1+x)e^{-x}$, so the condition holds.

For NBUE claims in the classical risk model, the equilibrium claim size $Y$ is stochastically bounded by $X$. The positive exponential tail integral formula for moments gives $M_Y(R)\le M_X(R)$. Since $M_Y(R)=1+\theta$ and $M_X(R)=1+(1+\theta )\mu R$, rearrangement proves the displayed bound.