lim[ln(2^(-1 - x) Γ(1 + 1/(1 + x))^(1 + x))/x,x->infty]