Question: How would I solve the following relation in Maple?

Hello there,
I'd like to know, if there's any way of testing these following relations on Maple.
I've tried to look at the assume command, but without succes.

I'll link the tasks below as an example:

Text translation:
f(x) is given as cos(x). Show that |f(x)-P(x0)| ≤ |x-x0|, when x is a real number

Please Wait...