4 October 2025

alternating series error bound