MathLabs

Problem 4

A proper divisor of a positive integer NN is a positive divisor of NN other than NN itself. The infinite sequence a1,a2,…a_1,a_2,\ldots consists of positive integers, each of which has at least three proper divisors. For each n≥1n\ge1, the integer an+1a_{n+1} is the sum of the three largest proper divisors of ana_n. Determine all possible values of a1a_1.
Step 6 of 8: The middle case cannot occur in the sequence
v2(x)=1, 5∣x ⟹ σ(x)=3130x is odd, contradicting that every term is evenv_2(x)=1,\,5\mid x\ \Longrightarrow\ \sigma(x)=\tfrac{31}{30}x\ \text{is odd, contradicting that every term is even}
Detailed analysis

Suppose some term has 4∤x4\nmid x but 5∣x5\mid x (so 6∣x6\mid x, 5∣x5\mid x, v2(x)=1v_2(x)=1); write x=30kx=30k with kk odd (since v2(x)=1v_2(x)=1 and 30=2⋅1530=2\cdot15 with 1515 odd forces v2(k)=0v_2(k)=0). Then σ(x)=3130x=31k\sigma(x)=\tfrac{31}{30}x=31k, a product of two odd numbers, hence odd. But step 3 shows every term of the sequence must be even, a contradiction. So this middle case never actually occurs among the aia_i: whenever 6∣an6\mid a_n and 4∤an4\nmid a_n, automatically 5∤an5\nmid a_n as well.