Cauchy formula for repeated integration

The Cauchy formula for repeated integration, named after Augustin-Louis Cauchy, allows one to compress n antiderivatives of a function into a single integral (cf. Cauchy's formula).