# Existence of Square Roots of Positive Real Number/Examples

### Example: $\sqrt 2$
There exists $u \in \R$ such that $u^2 = 2$.