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

Thu, 16 Apr 2026 18:27:07 +0000

Content under review