Given a positive integer k show that there exists a prime p such that one can choose distinct integers a1,a2⋯,ak+3∈{1,2,⋯,p−1} such that p divides aiai+1ai+2ai+3−i for all i=1,2,⋯,k.
South Africa number theorySequenceDivisibilityIMO ShortlistIMO Shortlist 2020