Interior adjustment coefficient ruin prefactor (source code)

= Interior adjustment coefficient ruin prefactor
{title2=$C=(c-\lambda\mu)/(\lambda M'(R)-c)$}

When the <adjustment coefficient> lies inside the finite domain of the claim <moment-generating function>, the tilted kernel has finite mean $(\lambda M'(R)-c)/(cR)$. The forcing integral is $(c-\lambda\mu)/(cR)$. Their ratio is the constant $C$ in $\psi(u)\sim Ce^{-Ru}$, by the <key renewal theorem>. An extra exponential moment controls the forcing tails and proves <direct Riemann integrability>.