Erdős problem 1193 · problems.science

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

Sources

Browse retained paths and inspect the exact material available for this Problem.

4 retained statements2415f78e850a

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