Prove2Me

lean_workbook_plus_25564

Proved

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

If a=1100,b=99100 and c=5, then (a+1a)(b+1b)(c+1c)>1000a=\dfrac{1}{100},b=\dfrac{99}{100}\ and\ c=5,\ then\ \left ( a+\dfrac{1}{a} \right )\left ( b+\dfrac{1}{b} \right )\left ( c+\dfrac{1}{c} \right )>1000

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_25564  (a b c : ℝ)
  (h₀ : a = 1 / 100)
  (h₁ : b = 99 / 100)
  (h₂ : c = 5) :
  (a + 1 / a) * (b + 1 / b) * (c + 1 / c) > 1000   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph