lim n to k, (lim k to infinity, (1-2^-k)