lean_workbook_plus_47299
ProvedProve that without using a calculator.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_47299 : (2:ℝ) ^ 845 > 3 ^ 362 := by sorry
Source
Prove that without using a calculator.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_47299 : (2:ℝ) ^ 845 > 3 ^ 362 := by sorry