Erdős problem 119 · problems.science

For unit-modulus complex numbers $z_i$ , let $p_n(z)=\prod_{i\le n}(z-z_i)$ and $M_n=\max_{|z|=1}|p_n(z)|$ . Erdős's prize question: is there $c>0$ with $\sum_{k\le n} M_k > n^{1+c}$ ?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/119.lean

Formal Conjectures

FormalConjectures/ErdosProblems/119.leanErdos119.erdos_119.parts.i1 lineExact file

1True ↔ ∀ (z : ℕ → ℂ), (∀ (i : ℕ), ‖z i‖ = 1) → Filter.limsup (fun n => ↑(Erdos119.M z n)) Filter.atTop = ⊤

SolvedStatement only, no proof

Proof manifests naming this Problem

PLBY Lean proofsErdosProblems.Erdos119

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

argument
VibeMathed
Machine
GPT-5.6
People
Samuel Korsky
Reported outcome
resolved
Open the source record

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Proof manifests naming this Problem

Reported activity

Continue

Search problems.science