[math-fun] Re: Asymptotic for A058797