Formal target: Corpus.Erdos241.erdos_241.variants.generalization

More generally, Bose and Chowla [BoCh62] conjectured that the maximum size of $A\subseteq \{1,\ldots,N\}$ with all $r$-fold sums distinct (aside from the trivial coincidences) then $\lvert A\rvert \sim N^{1/r}.$

Exact formal statement

∀ (r : Nat), GE.ge.{0} r 2 → Corpus.Erdos241.BoseChowlaConjecture r

This target is a formal statement, not a proof of the problem.

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record