Erdős Problem 82

Conjecture 82 · Erdős

$F(n) / \log n \to \infty as n \to \infty$

Formal statement · Lean 4.lean

theorem erdos_82 : Tendsto (fun n => F n / Real.log n) atTop atTop := by
  sorry

Proof. sorry

Nobody has tried yet.