Skip to content

Erdős problem 868

Let AA be an additive basis of order 22, let f(n)f(n) denote the number of ways in which nn can be written as the sum of two elements from AA. If f(n)>ϵlog⁡nf(n) > \epsilon \log n for large nn and an arbitrary fixed ϵ>0\epsilon > 0, then must AA contain a minimal additive basis of order 22?

Sources

The source's own material, retained exactly.

4 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

868.lean

Retained formal statement4 of 4

Härtter and Nathanson proved that there exist additive bases which do not contain any minimal additive bases.

FormalConjectures/ErdosProblems/868.leanErdos868.erdos_868.variants.Hartter_Nathanson5 linesExact file
∀ (o : ℕ),  1 < o →    ∃ A,      A.IsAsymptoticAddBasisOfOrder o ∧        ∀ B ⊆ A, B.IsAsymptoticAddBasisOfOrder o → ∃ b ∈ B, (B \ {b}).IsAsymptoticAddBasisOfOrder o
SolvedStatement only, no proof