Differentiation under the integral sign

December 26, 2025