Hmmm, not sure. But do we have to worry about that when we have showed that it has an upper bound of 0? (Which also works for the absolute value I think, so it can't be negative).
Also, the "result" I reached over isn't really very solid, as it didn't work when I tried inserting x^2, but I...