lean_workbook_plus_35051
ProvedLet be real numbers.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_35051 (a b : ℝ) : (a + b) / ((4 * a ^ 2 + 3) * (4 * b ^ 2 + 3)) ≤ 1 / 16 := by sorry
Source
Let be real numbers.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_35051 (a b : ℝ) : (a + b) / ((4 * a ^ 2 + 3) * (4 * b ^ 2 + 3)) ≤ 1 / 16 := by sorry