Erdős problem 946

There are infinitely many $n$ such that $τ(n) = τ(n+1)$. Proved in [He84]. Here τ is the divisor counting function, which is σ 0 in mathlib.