Erdős problem 229
Let be a sequence of sets of complex numbers, none of which have a finite limit point. Does there exist an entire transcendental function such that, for all , there exists some such that for all .
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/229.leanTrue ↔ ∀ (S : ℕ → Set ℂ), (∀ (n : ℕ), derivedSet (S n) = ∅) → ∃ f, Transcendental (Polynomial ℂ) f ∧ Differentiable ℂ f ∧ ∀ n ≥ 1, ∃ k, ∀ z ∈ S n, iteratedDeriv k f z = 0Proof manifests naming this Problem
- Jayyhk Erdős Lean
jayyhk:erdos:229 - PLBY Lean proofs
ErdosProblems.Erdos229
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
Formalization
- Machine