limit(2n*log(n)+/+log2(factorial(n)),+n=infinity)