What does it mean to say that (Xt) is a renewal process?
Let (Xt) be a renewal process with holding times S1,S2,… and let s>0. For n⩾1, set Tn=SXs+n. Show that
P(Tn>t)⩾P(Sn>t),t⩾0,
for all n, with equality if n⩾2.
Consider now the case where S1,S2,… are exponential random variables. Show that
P(T1>t)>P(S1>t),t>0
and that, as s→∞,
P(T1>t)→P(S1+S2>t),t⩾0