Erdős Problem 509
Let be a monic non-constant polynomial. Can the set be covered by a set of closed discs the sum of whose radii is ?
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Let be a monic non-constant polynomial. Can the set be covered by a set of closed discs the sum of whose radii is ?
Let f be a transcendental entire function. What is the greatest possible value of
liminf (fun r : ℝ => ratio r f) atTop?
Is it true that for all entire functions f = ∑ aₖzⁿₖ such that ∑' 1 / nₖ < ∞,
limsup (fun r => ratio r f) atTop = 1?
If f(z) = ∑ aₖzⁿₖ is an entire function (with aₖ ≠ 0 for all k) such that nₖ / k → ∞,
is it true that f assumes every value infinitely often?
Does there exists an entire non-zero transcendental function f : ℂ → ℂ such that for any
sequence n₀ < n₁ < ..., { z | ∃ k, iteratedDeriv (n k) f z = 0 } is dense.
Ahlfors and Grunsky also conjectured in [AG37] that this upper bound is the precise value of the Bloch constant.
In [Ra43], Rademacher says that he strongly believed that this upper bound is the precise value of the Landau constant.
Brennan's conjecture, part 1: .
Brennan's conjecture, part 2: .