lim (2 log(2) n agm(2^n,4))/(2^n) n -> infty