lean_workbook_plus_48641

Disproved

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

$(2*\sqrt2*(2)^(\frac{1}{7}))$ >3

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_48641 : (2 * Real.sqrt 2 * (2:ℝ)^(1/7)) > 3   :=  by sorry

Source