Erdős problem 494 · problems.science

Selfridge and Straus [SeSt58] also showed that the conjecture is true when 1) $k = 3$ and $|A| > 6$ or 2) $k = 4$ and $|A| > 12$ . More generally, they proved that $A$ is determined by $A_k$ (and $|A|$ ) if $|A|$ is divisible by a prime greater than $k$ .

Sources

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

9 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

494.lean

Retained formal statement9 of 9

A counterexample to the product version of the conjecture (by Steinerberger).

FormalConjectures/ErdosProblems/494.leanErdos494.erdos_494.variants.product1 lineExact file

1∃ A B, A.card = B.card ∧ Erdos494.prodMultiset A 3 = Erdos494.prodMultiset B 3 ∧ A ≠ B

SolvedStatement only, no proof

Sources

Search problems.science