Erdős problem 513
Let f be a transcendental entire function. What is the greatest possible value of liminf (fun r : ℝ => ratio r f) atTop?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/513.leansorry = ⨆ f, Filter.liminf (fun r => Erdos513.ratio r ↑f) Filter.atTopOpenStatement only, no proof
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
AI building on literature
- Machine