Erdős problem 1003 · problems.science

Are there infinitely many solutions to $\phi(n) = \phi(n+1)$ , where $\phi$ is the Euler totient function?

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

1003.lean

Retained formal statement1 of 3

Are there infinitely many solutions to $\phi(n) = \phi(n+1)$ , where $\phi$ is the Euler totient function?

FormalConjectures/ErdosProblems/1003.leanErdos1003.erdos_10031 lineExact file

1True ↔ {n | n.totient = (n + 1).totient}.Infinite

OpenStatement only, no proof