A property of the renewal counting process with application to the finite-time ruin probability · Study