Skip to content

Erdős problem 822

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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/822.lean

Formal Conjectures

FormalConjectures/ErdosProblems/822.leanErdos822.erdos_8221 lineExact file
True ↔ (Set.range fun n => n + n.totient).HasPosDensity
SolvedStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page