[math-fun] A005130 complete asymptotic