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