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

Sun, 19 Apr 2026 15:39:55 +0000

Content under review