[math-fun] Asymptotic question