SMT solving with less-than theory and monotonic functions
I can think of 2 straight forward approaches


Directly add $\forall xy (x &lt; y \Rightarrow f(x) &lt; f(y))$.
Or Akcermannize the problem and add these as axioms for all pairs of terms.