lim (2^(2^(n^2 + n^0.5)))/(2^(0.3051\exp(0.6937n)) as n to infinty