lean_workbook_plus_23545
ProvedWhen you take the th root of each side of versus , show that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_23545 : 1000^1000 > 1001^999 := by sorry
Source
When you take the th root of each side of versus , show that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_23545 : 1000^1000 > 1001^999 := by sorry