Are there infinitely many integers $n, m$ such that $ϕ (n) = σ (m)$ ?

Worked, still open.

number theory · solved · formalized (Lean) · 0 attempts

machinery: totient-sigma-coincidence,prime-distribution,twin-primes,sieve/Brun-Titchmarsh,number-theory

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

formal

AMS 11 · solved (literature)

theorem erdos_48 :
    answer(True) ↔ {(n, m) : ℕ × ℕ | n.totient = σ 1 m}.Infinite

solved