Let α ∈ R, and let C > max{1, α}. It is shown that if {pn/qn} is a sequence formed out of all rational numbers p/q such that ∣∣∣α− pq ∣∣∣ ≤ 1 Cq2 , where p ∈ Z and q ∈ N are relatively prime numbers, then either {pn/qn} has finitely many elements or lim sup n→∞ log log qn logn ≥ 1, where the points {qn}n∈N are ordered by increasing modulus. This implies that the sequence of denominators {qn}n∈N grows exponentially as a function of n, and so the density of rational numbers which approximate α well in the above sense is relatively low. It has been suggested that one could obtain strong results in number theory by translating the proofs from Nevanlinna theory to number theory using, for instance, Vojta’s dictionary [16]. Applying this method to Nevanlinna’s proof of the second main theorem is said to yield strong results in number theory, including the abc conjecture formulated by Masser and Oesterle. Difficulties arise, however, while trying to find a number-theoretic analogue for the ramification term in the second main theorem, since so far Vojta’s dictionary does not have a translation for the derivative of a meromorphic function; see, e.g., [1, 7, 12]. There is a vast literature on the rational approximations of irrational numbers dating all the way back to Liouville [9], Thue [15], Siegel [13] and others (see [1] for further references). One of the fundamental results in the field is Roth’s theorem, according to which for any algebraic irrational number α there are only finitely many solutions p/q to (1) ∣∣∣α− pq ∣∣∣ ≤ 1 q2+e , where e > 0, and p and q are relatively prime integers [11]. Roth’s theorem is sharp in the sense that the arbitrary e > 0 cannot be deleted in inequality (1). However, Lang [8] has proposed that if one would be able to follow the proof of the second main theorem with a good error term (see, e.g., [6]) to prove Roth’s theorem, then Received by the editors October 22, 2007, and, in revised form, January 9, 2008. 2000 Mathematics Subject Classification. Primary 11J68; Secondary 11J97. The research reported in this paper was supported in part by the Academy of Finland grants #118314 and #210245. c ©2008 American Mathematical Society Reverts to public domain 28 years from publication 107 License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use
Read full abstract