ABSTRACT
Answer to Exercise 6, page 14 The assumptions imply that there exist observable M and ε such
that |x · y| ≤M and 0 < ε ≤ |y|. Hence |x| = |x · y|/|y| ≤M/ε, which is observable by Closure, and so x is not ultralarge. The conclusion follows by Rule 5(2).
