derivation of formula for average value (infinitesimal).mp4