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 with
For equality is immediate. Hence is nondecreasing: implies .

Articles by others on the same topic (0)

There are currently no matching articles.