And derivative of sine of x is just cosine of x. So 1 minus cosine of x. So let's try to evaluate this limit. What do we get? If we put a 0 up here, we're going to get 2 times cosine of 0, which is 2. Let me write it like this. So this is 2 times cosine of 0, which is 1.