18 July 2025

alternating series error bound