Tag: differentiation of an integral