lim_{x->inf}(2^x+1)^(1/x)