lean_workbook_plus_79881

Proved

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

if in 30 minutes it shrinks by 1/2, then in 90 minutes there are 3 30 minute chunks so $(\frac{1}{2})^3 = \frac{1}{8}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_79881 :
  (1 / 2)^3 = 1 / 8   :=  by sorry

Source