Erdős problem 913 · problems.science

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

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

913.lean

Retained formal statement1 of 3

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

FormalConjectures/ErdosProblems/913.leanErdos913.erdos_9131 lineExact file

1True ↔ {n | Set.InjOn ⇑(n * (n + 1)).factorization ↑(n * (n + 1)).primeFactors}.Infinite

OpenStatement only, no proof

Sources

Search problems.science