Square Root of 2 is Irrational

Theorem

 * $\sqrt 2$ is irrational.

Decimal Expansion
The decimal expansion of $\sqrt 2$ starts:
 * $\sqrt 2 \approx 1.41421 \ 35623 \ 73095 \ 0488 \ldots$