Skip to content
Toggle Sidebar
Home
Problems
Frontiers
Updates
Overview
Problem ledger
Assertions
Proposed changes
Commits
Reproduce
Add contribution
Toggle Sidebar
Vela Mathematics Program
/
Problems
/
119
Search or jump
⌘K
Problem
erdos:119
For unit-modulus complex numbers
z
i
z_i
, let
p
n
(
z
)
=
∏
i
≤
n
(
z
−
z
i
)
p_n(z)=\prod_{i\le n}(z-z_i)
and
M
n
=
max
∣
z
∣
=
1
∣
p
n
(
z
)
∣
M_n=\max_{|z|=1}|p_n(z)|
. Erdős's prize question: is there
c
>
0
c>0
with
∑
k
≤
n
M
k
>
n
1
+
c
\sum_{k\le n} M_k > n^{1+c}
?
Open Current State
Declared status
solved
Formalization
formalized
Prize
$100
Subjects
analysis
·
polynomials
OEIS
N/A
Sources
source:erdos-problems
·
source:formal-conjectures
·
source:plby-lean-proofs
·
source:vibemathed
Statement
www.erdosproblems.com
Matching claims
0
No direct claims
This problem has no directly related claim record.
Browse this Repository’s Claims
Search problems.science
Find a Problem, Result, source, or page