[math-fun] Asymptotic formula for LCM{1,2,3,...,n} ?