Abstract
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.
AMS Subject Classification: