lean_workbook_plus_3345
ProvedProve that:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_3345 : (5:ℝ)^51 ≥ 2^118 := by sorry
Source
Prove that:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_3345 : (5:ℝ)^51 ≥ 2^118 := by sorry