Problem 862

Let $A_1(N)$ be the number of maximal Sidon subsets of $\{1,\ldots,N\}$ . Is it true that

A_1(N) < 2^{o(N^{1/2})}?

Is it true that

A_1(N) > 2^{N^c}

for some constant $c>0$ ?

Source: erdosproblems.com/862

Number theory
Sidon sets

Wiki page

Status

SolvedAnswered

An accepted solution exists. Settled in another form, for example when its parts resolve differently or the question is open-ended.

Solved. The site labels the problem SOLVED (LEAN) and records both questions as answered by Saxton and Thomason's count of Sidon sets, the first no and the second yes, and its label carries a Lean qualifier for an automatically produced Lean proof whose first posting assumed a prime-gap axiom that a later revision removes; the accepted claim is Saxton and Thomason.

Problem 862

Status

Proof claims

Discussion