Erdős problem 1064 · problems.science

Let $ϕ(n)$ be the Euler's totient function, then the $n$ satisfies $ϕ(n)>ϕ(n - ϕ(n))$ have asymptotic density 1. Reference: [LuPo02] Luca, Florian and Pomerance, Carl, On some problems of {M}\polhk akowski-{S}chinzel and {E}rdős concerning the arithmetical functions { $\phi$ } and { $\sigma$ }. Colloq. Math.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/1064.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1064.leanErdos1064.erdos_10641 lineExact file

1{n | n.totient > (n - n.totient).totient}.HasDensity 1

SolvedStatement only, no proof

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Continue

Search problems.science