Subcontests
(5)Infinite positive integer sequence with an eventual cubic lower bound
Let a1,a2,a3,… be an infinite sequence of positive integers such that a2=2a1, and for all positive integers m and n, the sum m+n is a divisor of am+an. Prove that there exists an integer M such that for all n>M, we have an≥n3.