Let S⊂{1,…,n} be a nonempty set, where n is a positive integer. We denote by s the greatest common divisor of the elements of the set S. We assume that s=1 and let d be its smallest divisor greater than 1. Let T⊂{1,…,n} be a set such that S⊂T and ∣T∣≥1+[dn]. Prove that the greatest common divisor of the elements in T is 1.
———--
[Second Version]
Let n(n≥1) be a positive integer and U={1,…,n}. Let S be a nonempty subset of U and let d(d=1) be the smallest common divisor of all elements of the set S. Find the smallest positive integer k such that for any subset T of U, consisting of k elements, with S⊂T, the greatest common divisor of all elements of T is equal to 1. number theorygreatest common divisor