SumPositivederivatives a mathematica