SUM(i%3D1 to log2(n)) log2(i)