Constant Function Corollary

Corollary from MVT

• Let f be differentiable on $I$
• If the derivative is 0 for all $x\in I$ $\therefore$ $f(x)$ is a constant function