Assertion: real number's bound | /r/HasProperty | √2
Facets:
Source sentences:
text: but no least upper bound in ℚ: If we suppose p ∈ ℚ is the least upper bound, a contradiction is immediately deduced because between any two reals x and y (including √2 and p) there exists some rational p′, which itself would have to be the least upper bound (if p > √2) or a member of S greater than p