Erdős problem 11 · problems.science

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

Sources

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

6 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

11.lean

Retained formal statement1 of 6

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

FormalConjectures/ErdosProblems/11.leanErdos11.erdos_111 lineExact file

1∀ (n : ℕ), Odd n → 1 < n → ∃ k l, Squarefree k ∧ n = k + 2 ^ l

OpenStatement only, no proof