7 September 2025

alternating series error bound