# 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$