lean_workbook_plus_23906

Proved

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

What is $\lfloor \sqrt{2009} \rfloor$ ?

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_23906 : ⌊Real.sqrt 2009⌋ = 44   :=  by sorry

Source