Problem

Source: Chinese MO 2004

Tags: floor function, modular arithmetic, induction, algebra proposed, algebra



Let $c$ be a positive integer. Consider the sequence $x_1,x_2,\ldots$ which satisfies $x_1=c$ and, for $n\ge 2$, \[x_n=x_{n-1}+\left\lfloor\frac{2x_{n-1}-(n+2)}{n}\right\rfloor+1\] where $\lfloor x\rfloor$ denotes the largest integer not greater than $x$. Determine an expression for $x_n$ in terms of $n$ and $c$. Huang Yumin