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 statement2 of 3

If there are infinitely many primes $p$ such that $8p^2 - 1$ is prime, then this is true.

FormalConjectures/ErdosProblems/913.leanErdos913.erdos_913.variants.conditional2 linesExact file

1{p | Nat.Prime p ∧ Nat.Prime (8 * p ^ 2 - 1)}.Infinite →2  {n | Set.InjOn ⇑(n * (n + 1)).factorization ↑(n * (n + 1)).primeFactors}.Infinite

SolvedStatement only, no proof

Sources

Search problems.science