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(x₀)| ≤ |x-x₀|, when x is a real number

Hello there,
I'm currently working on a school-related assignment, where I have to put two functions equal each other to find their crossing point. My issue is, that these two functions are waves, and continiue into infinite.
If I put them equal as this, my document crashes:
f(x) = g(x)

My question is then, if I can put some requirement to Maple, so it only calculates from significant X-intervals