MathLabs

Problem 6

Show that there exists a set AA of positive integers with the following property: for any infinite set SS of primes, there exist two positive integers m∈Am\in A and n∉An\notin A, each of which is a product of kk distinct elements of SS for some k≥2k\ge2.
Step 4 of 4: Construct the non-member
In plain words

Shifting the block changes its smallest prime factor but not its length.

n=s2s3⋯sk+1∉An=s_2s_3\cdots s_{k+1}\notin A
Detailed analysis

Take n=s2s3⋯sk+1n=s_2s_3\cdots s_{k+1}. It is a product of k≥2k\ge2 distinct elements of SS, but its smallest prime factor is s2>s1=ks_2>s_1=k, while it still has kk factors. Hence n∉An\notin A, proving the required property.