Cumulative record times in a Poisson process

Charles M. Goldie, Rudolf Grübel

We obtain a strong law of large numbers and a functional central limit theorem, as $t\to \infty$, for the number of records up to time $t$ and the Lebesgue measure (length) of the s…