Well, I noticed that the statement could be written in terms of a new function, \( g(x) \), because of the symmetrical way the statement is written.
If \( g(x) \) was increasing, then we would have what we wanted - and I showed that.