27 June 2025

alternating series error bound