lim (x->+inf) (sqrt((4^x)+1) -(2^x))