MathDB
I 3

Source:

May 25, 2007
floor functioninduction

Problem Statement

Prove that for any positive integer nn, n+12+n+24+n+48+n+816+=n.\left\lfloor \frac{n+1}{2}\right\rfloor+\left\lfloor \frac{n+2}{4}\right\rfloor+\left\lfloor \frac{n+4}{8}\right\rfloor+\left\lfloor \frac{n+8}{16}\right\rfloor+\cdots = n.