Skip to content

Erdős problem 978

Let f ∈ ℤ[X] be an irreducible polynomial with positive leading coefficient. Suppose that the degree k of f is larger than 2, is not equal to a power of 2, and f n has no fixed (k - 1)-th power divisors other than 1. Then the set of n such that f n is (k - 1)-th power free has positive density, and this is proved in [Ho67].

Sources

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

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

978.lean

Retained formal statement3 of 6

Does n ^ 4 + 2 represent infinitely many squarefree numbers?

FormalConjectures/ErdosProblems/978.leanErdos978.erdos_978.parts.iii1 lineExact file
True ↔ {n | Squarefree (n ^ 4 + 2)}.Infinite
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page