lim (n!) / (2^(n*log(n)))