1 answer

"False" here means "not known to be true" -- it seems that bool just can't make the following observation:

c^2 > c*v > u*v

Although if you test each inequality separately, it will recognize them as True. More powerful symbolic manipulation is available through Maxima; see for example the parts of the reference manual having to do with Symbolic Calculus.

Unfortunately you might have to work harder for this -- I tried test_relation_maxima and got the same unsatisfactory results as with bool. You could try looking through the Maxima reference manual to see if there is something more useful there. You can use Maxima directly through Sage with maxima_console():