Erdős problem 822 · problems.science

Does the set of integers of the form $n + \varphi(n)$ have positive (lower) density?

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

822.lean

Retained formal statement1 of 1

Does the set of integers of the form $n + \varphi(n)$ have positive (lower) density?

[GIL24] proved this was true.

FormalConjectures/ErdosProblems/822.leanErdos822.erdos_8221 lineExact file

1True ↔ (Set.range fun n => n + n.totient).HasPosDensity

SolvedStatement only, no proof