-x² + 6x + 7 ≥ 0