Differentiation under the integral