s^4x^4/4 -2 s^5 (s x cos(s x) + 4 sin(s x))*x^5/5! <= s^4x^4