Erdős problem 361
Let and be some large integer. What is the size of the largest set such that is not a sum of a subset of ? Does this depend on in an irregular way?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/361.lean∀ (c : ℝ), 0 < c → Erdos361.subsetSumAvoidanceNumber c = sorryOpenStatement only, no proof