x-3<x^2+3x