sum sqrt(2^x), x=1 to log(n)/log(2)