erdős #946
Are there infinitely many such that , where is the divisor function?
Worked, still open.
number theory · solved · formalized (Lean) · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsformal
AMS 11 · solved (literature)
theorem erdos_946 : {n : ℕ | σ 0 n = σ 0 (n + 1)}.Infiniteformal-conjectures/946.lean ↗oeis
A005237 — Numbers k such that k and k+1 have the same number of divisors.2,14,21,26,33,34,38,44,57,75,85,86,93,94,98,104,116,118,122,133,135,141,142,145,147,158,171,177,189,201,202,205,213,214,A284783 — Numbers k such that k and k + 5040 have the same number of divisors.11,19,22,37,38,39,41,46,47,51,55,57,58,59,61,62,65,67,68,73,74,76,78,79,87,88,91,92,99,102,104,107,113,114,115,116,118,1
status
solved