Erdős Problem a Daythe open tracker

Erdős Problem #186

SOLVEDdatabase updated 2025-08-31

Resolved in some way other than a straight proof or disproof — usual for open-ended questions, or for multi-part problems whose parts went different ways.

What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).

A finite set \(A\) of natural numbers is *non-averaging* if no \(a \in A\) is the arithmetic mean of at least two other elements of \(A\): there is no \(S \subseteq A \setminus \{a\}\) with \(|S| \geq 2\) and \(\sum_{x \in S} x = |S| \cdot a\). This agrees with [PhZa24] ("a nonempty subset of \(A\) not containing \(a\)"), since a single element other than \(a\) never has mean \(a\).

\(F(N)\) is the maximal size of a non-averaging subset of \(\{1, \dots, N\}\).

Let \(F(N)\) be the maximal size of \(A\subseteq \{1,\ldots,N\}\) which is 'non-averaging', so that no \(n\in A\) is the arithmetic mean of at least two elements in \(A\). What is the order of growth of \(F(N)\)? It is known that \(N^{1/4}\ll F(N) \ll N^{1/4+o(1)}\): the lower bound is due to Bosznay [Bo89] and the upper bound to Pham and Zakharov [PhZa24, Theorem 1]. So \(\log F(N)/\log N\to 1/4\).
Statement as formalized in Formal Conjectures (Google DeepMind, Apache-2.0) · their label: research solved · 3 further variants / known partial results in the Lean file. The authoritative wording is on erdosproblems.com/186.
Prizenone
Topicsadditive combinatorics
Statement in LeanFormal Conjectures
Solution in Leanno
OEISA389784
Original pageerdosproblems.com/186
NOBODY HAS SENT US AN ATTEMPT YET

If you take a run at this one — with your own AI subscription or without — the guide says how, and the submission form gets you an honest read of what you found.