# 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))
```