differentiation of positive power functions