Factoring a cubic inequality