20 May 2024

alternating series error bound