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.

$\blacksquare$

Sources

• 1975: W.A. Sutherland: Introduction to Metric and Topological Spaces ... (previous) ... (next): $1$: Review of some real analysis: $\S 1.1$: Real Numbers: Example $1.1.8$