Re: [math-fun] Asymptotics of Moebius function