Erdős problem 494

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

The source's own material, retained exactly.

9 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

494.lean

Retained formal statement3 of 9

Gordon, Fraenkel, and Straus [GRS62] proved that the claim is true for all $k > 2$ when $|A|$ is sufficiently large.

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

1∀ k > 2, ∀ᶠ (card : ℕ) in Filter.atTop, Erdos494.Erdos494Unique k card

SolvedStatement only, no proof