https://www.mathstoon.com/properties-of-real-numbers/