Cumulative record times in a Poisson process

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.