that first part looks right, depending on how rigorous you need it to be, but thats the exact idea, the squares of every real number is greater than or equal to zero, so if then

For the other direction, Let be a real number and let

Since , there is some s.t.

Since this works for all x, we get