Existence of Square Roots of Positive Real Number/Examples