Nemotron-IMO-Bench 2026 N15

Prove that there exists $c>0$ such that for any odd prime $p=2k+1$, the numbers $1^0, 2^1,3^2,\dots,k^{k-1}$ give at least $c\sqrt{p}$ distinct remainders modulo $p$.