lean_workbook_plus_70836
OpenGiven , prove that : .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_70836 (n : ℕ) : ∑ i in Finset.range (n+1), i^3 ≤ n^4 := by sorry
Source
Given , prove that : .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_70836 (n : ℕ) : ∑ i in Finset.range (n+1), i^3 ≤ n^4 := by sorry