Ostrowski-Grüss inequality, differentiable mappings, weighted integrals, product integrals