square root of two, n.All

The Square root of two (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠the procedure for approaching 2 ever closer by rationals, and that procedure is the real number.