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.

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

Reported activity

Reported by these sources. Not reviewed here.

• argument

  VibeMathed

  Machine

  GPT-5.6

  People

  Samuel Korsky

  Reported outcome

  resolved

  Open the source record