Erdős problem 936 · problems.science

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

No current result

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

FormalConjectures/ErdosProblems/936.lean

Formal Conjectures

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

1True ↔ Erdos936.EventuallyNotPowerful fun x => x.factorial + 1

OpenStatement only, no proof