Problem 149 (difficulty: 7/10)
Does the ordered field of the rational functions satisfy the completeness theorem: all non-empty set has a supremum?
Solution-->