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?

Sources

The source's own material, retained exactly.

6 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

11.lean

Retained formal statement1 of 6

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

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