MathDB
Sum floor 2^k/3 from k=0 to 100

Source: All-Russian MO 2000

December 30, 2012
floor functionalgebra unsolvedalgebra

Problem Statement

Evaluate the sum 203+213+223++210003. \left\lfloor \frac{2^0}{3} \right\rfloor + \left\lfloor \frac{2^1}{3} \right\rfloor + \left\lfloor \frac{2^2}{3} \right\rfloor + \cdots + \left\lfloor \frac{2^{1000}}{3} \right\rfloor.