MathDB
Just Sum NT

Source: USEMO 2019/4

May 24, 2020
USEMOnumber theoryFermat s Little TheoremHiFLT

Problem Statement

Prove that for any prime p,p, there exists a positive integer nn such that 1n+2n1+3n2++n12020(modp).1^n+2^{n-1}+3^{n-2}+\cdots+n^1\equiv 2020\pmod{p}. Robin Son