Sequence where 2011 divides S_{2011a} - S_{a}
Source: Spanish Mathematical Olympiad, National Stage, 2011
August 9, 2011
algebrapolynomialinductionfloor functionmodular arithmeticnumber theorynumber theory unsolved
Problem Statement
The sequence is defined by[*] for , and
[*] for .Prove that is a multiple of for all nonnegative integers .