Problem

Source:

Tags: algebra, inequalities



Let $x_0,\dots,x_{2017}$ are positive integers and $x_{2017}\geq\dots\geq x_0=1$ such that $A=\{x_1,\dots,x_{2017}\}$ consists of exactly $25$ different numbers. Prove that $\sum_{i=2}^{2017}(x_i-x_{i-2})x_i\geq 623$, and find the number of sequences that holds the case of equality.