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 2 of 4: Index an arbitrary infinite set
In plain words

The first prime in SS supplies a legal block length k≥2k\ge2.

S={s1<s2<⋯ },k=s1S=\{s_1<s_2<\cdots\},\quad k=s_1
Detailed analysis

Write the infinite set as S={s1<s2<⋯ }S=\{s_1<s_2<\cdots\} and set k=s1k=s_1. Since s1s_1 is a prime, k≥2k\ge2, and infinitely many elements remain after the first k+1k+1.