Away from zero and the zeros of , the sign function is locally constant and the absolute value function is differentiable at the value of the cosine. The product rule and chain rule giveThus the triangle inequality and the bounds on sine and cosine imply . Part (c) rules out differentiability at every nonzero cosine zero, and part (b) gives , so this estimate covers every point where the derivative exists.
For a finite interval , choose such that throughout . ThenThe apparent factor in the derivative of the oscillation cancels against the multiplying , which is what makes a uniform bound possible even near zero.
Articles by others on the same topic
There are currently no matching articles.