lean_workbook_plus_48944

Disproved

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

Prove that : \n\n

\frac{a^{8061}}{a^2+1}+\frac{b^{29}}{b^2+1}+\frac{c^{121}}{c^2+1}+\frac{4101}{2}\geq 2015a^2+7b^2+30c^2.

\n\n Proposed by Kunihiko Chikaya

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_48944 : ∀ a b c : ℝ, (a^8061 / (a^2 + 1) + b^29 / (b^2 + 1) + c^121 / (c^2 + 1) + 4101 / 2) ≥ 2015 * a^2 + 7 * b^2 + 30 * c^2   :=  by sorry

Source

https://huggingface.co/datasets/internlm/Lean-Workbook

View graph