lean_workbook_plus_73537
ProvedProve that is less than 2001 using Bernoulli's Inequality.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_73537 : 13 ^ 157 - 14 ^ 156 < 2001 := by sorry
Source
Prove that is less than 2001 using Bernoulli's Inequality.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_73537 : 13 ^ 157 - 14 ^ 156 < 2001 := by sorry