lean_workbook_plus_37209

Proved

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

Squares: $\lfloor \sqrt{2021} \rfloor = 44$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_37209 : ⌊Real.sqrt 2021⌋ = 44   :=  by sorry

Source