Erdős problem 535
Let , and let denote the size of the largest subset of such that no subset of size has the same pairwise greatest common divisor between all elements. Erdős [Er64] proved that for some constant , and conjectured this should also be an upper bound; here we state the conjectural upper bound for all .
Sources
FormalConjectures/ErdosProblems/
535.lean
Retained formal statement
Erdős [Er73] records that Abbott pointed out the ordinary sunflower conjecture does not seem to suffice here. The stronger auxiliary conjecture uses , i.e. prime factors counted with multiplicity; this stronger statement would imply the conjectured upper bound for .
∀ {r : ℕ}, 3 ≤ r → ∃ c_r > 0, ∀ (k : ℕ) (A : Finset ℕ), Erdos535.AllBigOmega k A → Erdos535.NoConstantPairwiseGcdCoprimeSubsets r A → ↑A.card ≤ c_r ^ kOpenStatement only, no proof