Existence of Square Roots of Positive Real Number/Examples/Square Root of 2

Examples of Use of Existence of Square Roots of Positive Real Number
There exists $u \in \R$ such that $u^2 = 2$.

Proof
A special case of Existence of Square Roots of Positive Real Number.