\sum_{i=0}^{n} \log_2\left(\frac{2^n}{2^i}\right