The Erdős-Mirsky conjecture asserts that infinitely many positive integers
satisfy ,
where
is the divisor function counting positive divisors (Erdős and Mirsky 1952). For example,
and .
Heath-Brown (1984) proved the conjecture. This is problem 946 in the Erdős problems collection (Bloom
2026).