[math-fun] Decently geometric convergence,