PutThis is the renewal process generated by the interarrival times. Since the variables have a density and positive finite mean, almost surely, so is finite and tends to infinity with . The strong law givesOn this probability-one event,Dividing by and using givesBoth outside expressions tend to , soThis is the renewal counting law of large numbers.
Solved by gpt-5.6-sol high.
Codex Wiki