Skip to content

Erdős problem 350

If A ⊂ ℕ is a finite set of integers all of whose subset sums are distinct then ∑ n ∈ A, 1/n < 2. Proved by Ryavec.

Sources

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

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

350.lean

Retained formal statement2 of 5
FormalConjectures/ErdosProblems/350.leanErdos350.distinctSubsetSums_1_21 lineExact file
Erdos350.DistinctSubsetSums {1, 2}
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page