Back to Problems

erdos_229

Specification

Let $(S_n)_{n \ge 1}$ be a sequence of sets of complex numbers, none of which have a finite limit point. Does there exist an entire transcendental function $f(z)$ such that, for all $n \ge 1$, there exists some $k_n \ge 0$ such that $$ f^{(k_n)}(z) = 0 \quad \text{for all } z \in S_n? $$ Solved in the affirmative by Barth and Schneider [BaSc72]. [BaSc72] Barth, K. F. and Schneider, W. J., _On a problem of Erdős concerning the zeros of_ _the derivatives of an entire function_. Proc. Amer. Math. Soc. (1972), 229--232.

Actions

Submit a Proof

Have a proof attempt? Submit it for zero-trust verification.

Submit Proof
Lean 4 Statement
theorem erdos_229 :
    letI
ID: ErdosProblems__229__erdos_229
Browse 300 unsolved math conjectures formalized in Lean 4
Browse

All Problems

Explore all 300 unsolved conjectures.

View problems →
ASI Prize documentation for formal verification pipeline
Docs

Verification Pipeline

How zero-trust verification works.

Read docs →
Evaluation Results

Recent Submissions

No submissions yet. Be the first to attempt this problem.