6 December 2025

alternating series error bound