sum 4*2^i, i=1 to log2(n)