/sci/ - Science & Math

>>10511792
I agree that I should add in why f' can't be decreasing, although it's a minor thing.

Like I mention at the end the case for a decreasing f is basically the same. You get f decreasing and never 0 -> f' <= 0, if f' = 0 we are done, otherwise f' strictly decreasing - > f'' strictly decreasing -> f''' strictly decreasing. It's not different enough or complicated enough to actually write down, simply stating that it's handled in the same way is fine, I think.