Prove that |cos(x)-cos(y)| =< |x-y| for all x,y in the reals. This should be equivalent to showing that |x-y|-|cos(x)-cos(y)| >= 0. I also notice that if I divide by |x-y|, the inequality looks vaguely like the definition of derivative for the function cos(x): |(cos(x)-cos(y))/(x-y)|. The issue with all of these, however, is that I don't see how the mean value theorem applies. The fact I'm working with multiple variables makes me want to use partial derivatives, but those are nowhere to be seen in an introductory analysis course; I don't immediately see them being of any use here, either.