lean_workbook_plus_32653
Disprovedprove that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_32653 : ∀ a b : ℝ, a^2 + b^2 + 1 / (a^2 * b^2) ≥ 1 / a + 1 / b + a * b := by sorry
Source
prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_32653 : ∀ a b : ℝ, a^2 + b^2 + 1 / (a^2 * b^2) ≥ 1 / a + 1 / b + a * b := by sorry