Skip to content

Erdős problem 913

Start work

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?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

913.lean

Retained formal statement1 of 3

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?

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