Skip to content

Erdős problem 419

If τ(n)\tau(n) counts the number of divisors of nn, then what is the set of limit points of τ((n+1)!)τ(n!)? \frac{\tau((n+1)!)}{\tau(n!)}?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/419.lean

Formal Conjectures

FormalConjectures/ErdosProblems/419.leanErdos419.erdos_4191 lineExact file
{x | MapClusterPt x Filter.atTop Erdos419.factorialDivisorRatio} = Erdos419.limitPointSet
SolvedProof has a holelean4external proof

The proof uses `sorry`: part of the argument is written but not proved. Lean accepts the file; it does not accept the theorem.

Proof manifests naming this Problem

  • Jayyhk Erdős Leanjayyhk:erdos:419
  • PLBY Lean proofsErdosProblems.Erdos419

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page