lean_workbook_plus_46743
Proved(and similarly for )
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_46743 (c : ℝ) : (1 + c^2) / 2 ≥ c := by sorry
Source
(and similarly for )
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_46743 (c : ℝ) : (1 + c^2) / 2 ≥ c := by sorry