Skip to content

Erdős problem 1136

Does there exist A⊂NA\subset \mathbb{N} with lower density >1/3>1/3 such that a+b≠2ka+b\neq 2^k for any a,b∈Aa,b\in A and k≥0k\geq 0?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/1136.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1136.leanErdos1136.erdos_11361 lineExact file
True ↔ ∃ A, 1 / 3 < A.lowerDensity ∧ Erdos1136.AvoidsPowersOfTwo A
SolvedProof has a holelean4external proof

The proof uses `sorry`: part of the argument is written but not proved. Lean accepts the file; it does not accept the theorem.

Proof manifests naming this Problem

  • Jayyhk Erdős Leanjayyhk:erdos:1136
  • PLBY Lean proofsErdosProblems.Erdos1136

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page