Problem

erdos:978

∀ {f : Polynomial ℤ}, Irreducible f → 2 < f.natDegree → (∀ (x : ℕ), f.natDegree ≠ 2 ^ x) → 0 < f.leadingCoeff → (∀ (p : ℕ), Nat.Prime p → ∃ n, ¬↑p ^ (f.natDegree - 1) ∣ Polynomial.eval (↑n) f) → {n | Powerfree (f.natDegree - 1) (Polynomial.eval (↑n) f)}.HasPosDensity

Open Current State

Declared status: open
Formalization: formalized
Subjects: number theory
OEIS: possible
Sources: source:erdos-problemssource:formal-conjectures
Statement: www.erdosproblems.com

Matching claims

0

No direct claims

This problem has no directly related claim record.

Browse this Repository’s Claims