Erdős problem 936 · problems.science

Is $2^n + 1$ powerful for finitely many $n$ ?

Sources

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

4 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

936.lean

Retained formal statement3 of 4

Is $2^n + 1$ powerful for finitely many $n$ ?

FormalConjectures/ErdosProblems/936.leanErdos936.erdos_936.variants.two_pow_add_one1 lineExact file

1True ↔ Erdos936.EventuallyNotPowerful fun x => 2 ^ x + 1

OpenStatement only, no proof