MathLabs

Problem 4

(a) For which integers n>2n>2 does there exist a set of nn consecutive positive integers such that the largest number in the set divides the least common multiple of the remaining n−1n-1 numbers? (b) For which integers n>2n>2 is there exactly one such set?
Step 3 of 5: First working set for n>5n>5
m=2p:2p∣lcm(2p−1,…,2p−n+1)m=2p: \quad 2p \mid \mathrm{lcm}(2p-1,\dots,2p-n+1)
Detailed analysis

Since n−1≥pn-1\ge p, the window {m−1,…,m−n+1}\{m-1,\dots,m-n+1\} with m=2pm=2p contains a multiple of pp (hence, together with the multiple of 22 also present, a multiple of 2p2p), of 33, and of 22, so their lcm is divisible by 2p2p, making m=2pm=2p a valid largest element.