Strange result of a relational expression
Tried the following in sage. The answer is False, which is apparently incorrect. Anyone ever encountered this before? Any idea on what happened here?
forget()
assume(x >= 0)
expr = sin(x) <= x
print(bool(expr))