The required value is 6(⌊n/2⌋+1), unless n=4 in which case it is 24. Let S be a member of S. We first show that
x,y∈S,x=ymin[x,y]≤6(⌊n/2⌋+1),(∗)
unless n=4. To this end, for each x in S, choose a positive integer mx such that n<mxx≤2n and consider the set S′={mxx:x∈S}.
If ∣S′∣<n, then mxx=myy for some distinct elements x and y in S, so [x,y]≤2n.
If ∣S′∣=n, then S′={n+1,n+2,…,2n}. The first even number in S′ is 2(⌊n/2⌋+1), and the number 3(⌊n/2⌋+1) is also in S′ if n=3 or n≥5. Consequently, (∗) holds for n=3 or n≥5, and it clearly holds for n=2.
If n=4, then
min{[x,y]:x,y∈{5,6,7,8},x=y}=24,
which is the required value by the preceding.
Finally, we show that, if 1≤i<j≤n, then [n+i,n+j]≥6(⌊n/2⌋+1). Suppose, if possible, that [n+i,n+j]<6(⌊n/2⌋+1). Since [n+1,n+2]=(n+1)(n+2)≥6(⌊n/2⌋+1), it follows that j≥3, so n+j≥2(⌊n/2⌋+1). Hence [n+i,n+j]=2(n+j)=m(n+i), where m is an integer greater than 2. If m=3, then n+i must be an even number less than 2(⌊n/2⌋+1) which is impossible. If m≥4, then n+i<3(⌊n/2⌋+1)/2≤n+1 which is again impossible. This ends the proof.