Tag: real numbers exercise 1.1