Erdős problem 479 · problems.science

Is it true that, for all $k\neq 1$ , there are infinitely many $n$ such that $2^n\equiv k\pmod{n}$ ?

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

479.lean

Retained formal statement1 of 1

Is it true that, for all $k\neq 1$ , there are infinitely many $n$ such that $2^n\equiv k\pmod{n}$ ?

FormalConjectures/ErdosProblems/479.leanErdos479.erdos_4791 lineExact file

1sorry ↔ ∀ k > 1, {n | 2 ^ n ≡ k [MOD n]}.Infinite

OpenStatement only, no proof