Question: check inequality with Maple

 

Assume I know some relations like 0<a<b<c<1, n is positive integer, and I want to know if

a^(n+1)-b^(n+1)<c * (a^(n)-b^(n)) holds. How to check this in Maple? Is there any command like verifiy evalb for this kind of problem.? Or solve the inequality in terms of c, given the relations of a,b,c?

Thanks.

Please Wait...