Equilibrium residual-life distribution (source code)

= Equilibrium residual-life distribution
{wiki}

The invariant residual-life mass at i is proportional to the probability that a lifetime exceeds i.