lean_workbook_plus_8402
OpenFind the extreme values of .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_8402 (x : ℝ) : (-1 ≤ cos x ^ 6 - sin x ^ 4 ∧ cos x ^ 6 - sin x ^ 4 ≤ 1) := by sorry
Source
Find the extreme values of .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_8402 (x : ℝ) : (-1 ≤ cos x ^ 6 - sin x ^ 4 ∧ cos x ^ 6 - sin x ^ 4 ≤ 1) := by sorry