I have a sub goal that is of the following form:

```
~ (My_term1) < (My_term2)

```

where `My_term1` and `My_term2` are both real numbers.

Is there a way to rewrite it as `(My_term1) >= (My_term2)` ?

I tried to use several tactics (`simpl` in particular) but I can not find the right way to achieve it.

Does anyone has an idea ?