lean_workbook_plus_29456

Open

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

$\log_3(90-3^4)\log_2(76-44)\log_6(1421-5^3)=\boxed{40}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_29456 : Real.logb 3 (90 - 3^4) * Real.logb 2 (76 - 44) * Real.logb 6 (1421 - 5^3) = 40   :=  by sorry

Source