integration of positive function is zero