√2 (Pythagoras's constant)

Layer 0 — Mathematicsin the analysis subtree

The positive square root of 2; irrational. Length of the diagonal of a unit square; first irrational proven by the Pythagoreans.