Subcontests
(4)A strange divisibility condition
Prove that there are infinitely many integers k⩾2024 for which there exists a set {a1,…,ak} with the following properties:
[*]a1 is a positive integer and ai+1=ai+1 for all 1⩽i<k, and
[*]2(a1⋯ak−2−1)2 is divisible by 2(a1+⋯+ak)+a1−a12.
(Proposed by Prajit Adhikari, Nepal)