Let
be a function which attains in c ∈ ] a , b [ {\displaystyle {}c\in {]a,b[}} a local extremum, and is differentiable there.
f ′ ( c ) = 0 {\displaystyle {}f'(c)=0}