Erdős problem 828
Is it true that, for any , there are infinitely many such that ?
Sources
FormalConjectures/ErdosProblems/
828.lean
Retained formal statement
Is it true that, for any , there are infinitely many such that ?
True ↔ ∀ (a : ℤ), {n | ↑n.totient ∣ ↑n + a}.InfiniteOpenStatement only, no proof