2(x-3)²-1/2 ≥ (2x-3)(2x+3)/2 - x