Skip to content

Erdős problem 946

Start work

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

How the state got here

1 of 6 recorded
  1. Prior stateNone retained
  2. WorkNo submitted work retained
  3. VerificationNo check retained
  4. DecisionNo Repository has decided
  5. StandingA Result stands here
  6. Next gapNot recorded

Result history

Published changes, performers, checks, and later corrections.

No result history yet
No proposed change is retained for this Problem, so there is nothing to show a decision on.

Correction history

No correction history

Technical detailsExact roots, source, and retained record identifiers

Exact provenance

Problem row
sha256:5f101eeba1c4c40a927d4d34743b5fbc67e30e4650e69bca0aa4f73af306d055
Metadata
sha256:2fb24b155d0dbf42481461a209a6c3bb4cb60e9e72bdb3ab5f9cb7e19bfe6158
Observation
sha256:9c8326e865b6017b103af7611c852a06776d81964979b8ab5a1b800cd550dff6
Content
sha256:17bb150a2fd20f089f2b1c9d721df7357220e28114872166f36cb0a2ae042ced
Repository
sha256:a956b84c437202e5a02cc9e036a621bd14a302b34a75758115730bdbb77c52a4
Projection
sha256:a4a96441668a9f8b33afbcb3f696a2639f5fae145f36ddc063d7f67d5fb87ce8
Source commit
36c6d0fef71a3fec84d9dcd5eeca4e22e378f7cb
Upstream sourceInspect recordsSource JSON