lean_workbook_plus_4863
ProvedProve the inequality: for and
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_4863 (a b : ℕ) (ha : 1 < a) : a^b ≥ a * b := by sorry
Source
Prove the inequality: for and
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_4863 (a b : ℕ) (ha : 1 < a) : a^b ≥ a * b := by sorry