lean_workbook_plus_36605
ProvedProve, that for all reals , we have
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_36605 : ∀ b c : ℝ, b^2 * c^2 + b^2 + 1 ≥ b + b^2 * c + b * c := by sorry
Source
Prove, that for all reals , we have
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_36605 : ∀ b c : ℝ, b^2 * c^2 + b^2 + 1 ≥ b + b^2 * c + b * c := by sorry