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

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

350.lean

Retained formal statement1 of 5
FormalConjectures/ErdosProblems/350.leanErdos350.decidableDistinctSubsetSums_1_21 lineExact file
Erdos350.DecidableDistinctSubsetSums {1, 2}
TestStatement only, no proof