Darboux’s formula, Obreschkoff’s formula, Sard’s formula, integral remainder, estimate