n > log(0.0125)/log(0.5) ≈ (-1.903)/(-0.3010) ≈ 6.32 → n ≥ 7 halvings

Mon, 04 May 2026 23:33:14 +0000

Content under review