Real function/Open interval/Local extrema/Differentiable/Derivative zero/Fact

From Wikiversity
Jump to navigation Jump to search

Let

be a function which attains in a local extremum, and is differentiable there.

Then

holds.