lean_workbook_plus_16111
ProvedShow that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_16111 (x : ℝ) : (x^4 / (1 + x^2)) ≥ 0 := by sorry
Source
Show that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_16111 (x : ℝ) : (x^4 / (1 + x^2)) ≥ 0 := by sorry