求证：
∑k=0⌊n−12⌋⌊log2⌊n2k+1⌋⌋=⌊n2⌋\sum \limits_{k = 0}^{ \lfloor \frac{n - 1}{2} \rfloor} \left \lfloor \log_2{\lfloor \dfrac{n}{2k + 1} \rfloor} \right \rfloor = \left \lfloor \frac{n}{2} \right \rfloork=0∑⌊2n−1⌋⌊log2⌊2k+1n⌋⌋=⌊2n⌋
