Question

Let E be the set of real numbers, x, such that x^2<3:
E = {x in R: x^2 < 3}.
Prove that SupE = s exists and that s^2=3. (Assume we have not defined what it means to take the roots of real numbers.)