Integrals I: Feynman's Trick · Superchallenge problem

Evaluate $\displaystyle\sum_{k=1}^{1000} \left\lfloor\log_2 k\right\rfloor$.