Because exists everywhere, is differentiable everywhere and therefore continuous everywhere; continuity of is not required. For , apply the mean value theorem to on . It gives withFor equality is immediate. Hence is nondecreasing: implies .
Articles by others on the same topic
There are currently no matching articles.