Product rule for integrals