Proving, using the limit definition of derivatives, that the derivative of cos(x) is -sin(x).