Does there exist a minimal basis $A \subset \mathbb{N}$ with positive density
such that, for any $n \in A$, the (upper) density of integers which
cannot be represented without using $n$ is positive?
Actions
Submit a Proof
Have a proof attempt? Submit it for zero-trust verification.
theorem erdos_330_statement :
answer(sorry) ↔ ∃ (A : Set ℕ), ∃ h, MinAsymptoticAddBasisOfOrder A h ∧ A.HasPosDensity ∧
∀ n ∈ A, Set.HasPosDensity (UnrepWithout A n h)
