Erdős problem 1193

Let $A\subset \mathbb{N}$ and let $g(n)$ be a non-decreasing function of $n$ which is always $>0$ .

Sources

The source's own material, retained exactly.

4 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

1193.lean

Retained formal statement4 of 4

Erdős writes the upper density can be positive, but he believes it is bounded away from $1$ .

FormalConjectures/ErdosProblems/1193.leanErdos1193.erdos_1193.variants.upper_density_pos1 lineExact file

1∃ A g, Monotone g ∧ (∀ (n : ℕ), 0 < g n) ∧ 0 < {n | AdditiveCombinatorics.sumRep A n = g n}.upperDensity

SolvedStatement only, no proof