posted on 2023-06-08, 10:01authored byCharles M Goldie, Rudolf Grübel
We obtain a strong law of large numbers and a functional central limit theorem, as t , for the number of records up to time t and the Lebesgue measure (length) of the subset of the time interval [0,t] during which the Poisson process is in a record lifetime.