limit(binomial(n,sqrt(n)) * factorial(sqrt(n)) / n^sqrt(n), n=infinity)