Real Number between Zero and One is Greater than Square/Proof 2
Jump to navigation
Jump to search
Theorem
Let $x \in \R$.
Let $0 < x < 1$.
Then:
- $0 < x^2 < x$
Proof
We have that Real Numbers form Ordered Integral Domain.
Thus Square of Element Less than Unity in Ordered Integral Domain applies directly.
$\blacksquare$