Cauchy's formula for repeated anti-differentiation