lean_workbook_plus_69212
ProvedFind the recursive formula for the number of sit-ups Rambo will do on day , given that he starts with 24 sit-ups and adds 3 sit-ups each day.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_69212 (f : ℕ → ℕ) (h₁ : f 0 = 24) (h₂ : ∀ n, f (n + 1) = f n + 3) : ∀ n, f n = 24 + 3 * n := by sorry
Source