Re: [math-fun] how many records? Asymptotic normality and review