Skip to content

Erdős problem 913

Are there infinitely many nn such that if n(n+1)=∏ipiki n(n + 1) = \prod_i p_i^{k_i} is the factorisation into distinct primes then all exponents kik_i are distinct?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/913.lean

Formal Conjectures

FormalConjectures/ErdosProblems/913.leanErdos913.erdos_9131 lineExact file
True ↔ {n | Set.InjOn ⇑(n * (n + 1)).factorization ↑(n * (n + 1)).primeFactors}.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