SUM(i=1 to log2(n)) log2(i)