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 4 of 6: Second construction for n>4n>4
In plain words

Having two different constructions immediately shows uniqueness fails for every n>4n>4: whenever you can build one qualifying set, in this range you can build a second one too.

n>4:k′=(n−2)(n−3)=lcm(n−2,n−3) also worksn>4: \quad k'=(n-2)(n-3)=\mathrm{lcm}(n-2,n-3) \text{ also works}
Detailed analysis

By the same reasoning as Step 3 applied one step earlier, k′=(n−2)(n−3)k'=(n-2)(n-3) gives another valid set of nn consecutive integers, distinct from the one in Step 3 whenever n>4n>4 (so that k′≠kk'\ne k).