Skip to content

Erdős problem 228

Does there exist, for all large nn, a polynomial PP of degree nn, with coefficients ±1\pm1, such that n≪∣P(z)∣≪n\sqrt n \ll |P(z)| \ll \sqrt n for all ∣z∣=1|z|=1, with the implied constants independent of zz and nn?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/228.lean

Formal Conjectures

FormalConjectures/ErdosProblems/228.leanErdos228.erdos_2287 linesExact file
True ↔  ∃ c₁ c₂,    ∀ᶠ (n : ℕ) in Filter.atTop,      ∃ p,        p.degree = ↑n ∧          (∀ i ≤ n, p.coeff i = 1 ∨ p.coeff i = -1) ∧            ∀ (z : ℂ), ‖z‖ = 1 → √↑n < c₁ * ‖Polynomial.eval z p‖ ∧ ‖Polynomial.eval z p‖ < c₂ * √↑n
SolvedStatement only, no proof

Continue