MathLabs

Problem 5

Consider an infinite sequence a1,a2,…a_1,a_2,\ldots of positive integers such that 100!(am+am+1+⋯+an)100!(a_m+a_{m+1}+\cdots+a_n) is a multiple of an−m+1an+ma_{n-m+1}a_{n+m} for all positive integers m,nm,n with m≤nm\le n. Prove that the sequence is either bounded or linear. A sequence is bounded if there is a constant NN such that an<Na_n<N for every positive integer nn, and it is linear if an=n⋅a1a_n=n\cdot a_1 for every positive integer nn.
Step 8 of 10: Assume every least common multiple is small
lcm⁡(ar,as)≤2c2max⁡(ar,as)for all r,s\operatorname{lcm}(a_r,a_s)\le 2c^2\max(a_r,a_s)\quad\text{for all }r,s
Detailed analysis

It remains to consider the case lcm⁡(ar,as)≤c2(ar+as)\operatorname{lcm}(a_r,a_s)\le c^2(a_r+a_s) for every pair. If ar≤asa_r\le a_s, write lcm⁡(ar,as)=Mas\operatorname{lcm}(a_r,a_s)=Ma_s. Then M≤2c2M\le2c^2; set K=2c2K=2c^2. Thus for every rr and every term ss with value as≥ara_s\ge a_r, the quotient ar/gcd⁡(ar,as)a_r/\gcd(a_r,a_s) is at most KK.