A two-sided bound for the renewal function when the interarrival distribution is IMRL

We obtain an upper and a lower bound for the renewal function in a renewal process with IMRL lifetimes. The lower bound improves a well-known bound by Brown (1980). We study the performance of these bounds both theoretically and with the aid of numerical examples.