sum ((log[2, n]) + 1 - z)(2^(2z)), z=1 to log[2, n]