[math-fun] Asymptotics of Moebius function