Erdős Problem 361

Exercise 361 · Erdős

For target $4$ and universe $\{1, 2, 3\}$ , the maximum is $2$ : the full set is invalid because its subset $\{1, 3\}$ sums to $4$ .

Formal statement · Lean 4.lean

theorem maxSubsetSumAvoidingCard_three_four : maxSubsetSumAvoidingCard 3 4 = 2 := by
  sorry

Proof. sorry

Nobody has tried yet.