lean_workbook_plus_78316
ProvedWithout using calculator, show that . (only rules of inequalities)
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_78316 : 7^7 < 2^20 := by sorry
Source
Without using calculator, show that . (only rules of inequalities)
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_78316 : 7^7 < 2^20 := by sorry