lean_workbook_plus_13433
Provedand solve: \n \n \n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_13433 (x : ℝ) : 50 * (2 * x + 1) > 99 * (x + 1) ↔ x > 49 := by sorry
Source
and solve: \n \n \n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_13433 (x : ℝ) : 50 * (2 * x + 1) > 99 * (x + 1) ↔ x > 49 := by sorry