See [meanValueTheorem/digInExtremeValueTheorem.tex](https://github.com/XimeraProject/calculus/blob/master/meanValueTheorem/digInExtremeValueTheorem.tex) For the last answer, the global minimum at sin(x)−cos(x) is at -pi/4 not pi/4