1-4 Properties of real numbers