Ordered field/x^2+(x+1)^2 \geq (x+2)^2 for x \geq 3/Exercise