Problem 116 (difficulty: 6/10)
Does the ordered field of rational functions satisfy the Archimedean axiom?