Skip to content

Erdős problem 413

Erdős proved that the barrier set for expProd is infinite and even has positive density.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/413.lean

Formal Conjectures

FormalConjectures/ErdosProblems/413.leanErdos413.erdos_413.parts.i1 lineExact file
True ↔ {n | Erdos413.IsBarrier (fun m => ↑(ArithmeticFunction.cardDistinctFactors m)) n}.Infinite
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page