Fish Wang says to Ow< [MSFW]
化簡成 (x + a) ^ 2 + b >= d