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 1 of 4: Define the set
In plain words

Membership is controlled by an equality between the smallest prime factor and the number of factors.

A={q1q2⋯qq1:q1<q2<⋯<qq1 are primes}A=\{q_1q_2\cdots q_{q_1}:q_1<q_2<\cdots<q_{q_1}\text{ are primes}\}
Detailed analysis

Let A={q1q2⋯qq1:q1<q2<⋯<qq1 are primes}A=\{q_1q_2\cdots q_{q_1}:q_1<q_2<\cdots<q_{q_1}\text{ are primes}\}. Thus a squarefree integer is in AA exactly when its number of prime factors equals its smallest prime factor. Every such number uses at least q1≥2q_1\ge2 factors.