lean_workbook_plus_48469

Disproved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Prove that $0 < \frac{3^{29} - 2^{31}}{3^{29} + 2^{29}} < 1$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_48469 : 0 < (3 ^ 29 - 2 ^ 31) / (3 ^ 29 + 2 ^ 29) ∧ (3 ^ 29 - 2 ^ 31) / (3 ^ 29 + 2 ^ 29) < 1   :=  by sorry

Source