Erdős problem 241
Is it true that ?
Sources
FormalConjectures/ErdosProblems/
241.lean
Retained formal statement
More generally, Bose and Chowla [BoCh62] conjectured that the maximum size of with all -fold sums distinct (aside from the trivial coincidences) then
∀ r ≥ 2, Erdos241.BoseChowlaConjecture rOpenStatement only, no proof