Skip to content

Erdős problem 56

Suppose A{1,,N}A \subseteq \{1,\dots,N\} is such that there are no k+1k+1 elements of AA which are relatively prime. An example is the set of all multiples of the first kk primes. Is this the largest such set? To avoid trivial counterexamples, we must insist that NN be at least the kkth prime.

Sources

Browse retained paths and inspect the exact material available for this Problem.

11 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

56.lean

Retained formal statement7 of 11
FormalConjectures/ErdosProblems/56.leanErdos56.maxWeaklyDivisible_zero_k1 lineExact file
∀ (N : ℕ), Erdos56.MaxWeaklyDivisible N 0 = 0
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page