Skip to content

Erdős problem 11

Start work

Is every odd n>1n > 1 the sum of a squarefree number and a power of 2?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/11.lean

Formal Conjectures

FormalConjectures/ErdosProblems/11.leanErdos11.erdos_111 lineExact file
∀ (n : ℕ), Odd n → 1 < n → ∃ k l, Squarefree k ∧ n = k + 2 ^ l
OpenStatement only, no proof

Reported activity

Reported by these sources. Not reviewed here.

Continue

Start a contributionBrowse the source filesOpen the collection entry