Let be an algebraic number field consisting only of real numbers with ring of integers , and suppose there exists a nontrivial unit (i.e. ). Show that there exist units in having arbitrarily small absolute value.
Suppose (without loss of generality) that . Suppose also (without loss of generality) that . (Otherwise take or as needed.) Then can be made arbitrarily small.