Proof of the derivative of sin(x)