Skip to content

Erdős problem 828

Is it true that, for any aZa \in \mathbb{Z}, there are infinitely many nn such that ϕ(n)n+a\phi(n) | n + a?

Sources

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

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

828.lean

Retained formal statement1 of 3

Is it true that, for any aZa \in \mathbb{Z}, there are infinitely many nn such that ϕ(n)n+a\phi(n) | n + a?

FormalConjectures/ErdosProblems/828.leanErdos828.erdos_8281 lineExact file
True ↔ ∀ (a : ℤ), {n | ↑n.totient ∣ ↑n + a}.Infinite
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page