Erdős problem 357
Let be the maximal such that there exist integers such that all sums of the shape are distinct. It is known that . Source: See comment by Desmond Weisenberg here: https://www.erdosproblems.com/forum/thread/357.
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/357.lean(fun n => ↑(Erdos357.f n)) =o[Filter.atTop] fun n => ↑nOpenStatement only, no proof