2020/07/11 by Baker, Roger
#FOS: Mathematics #Number Theory (math.NT) #Primary 11J25 #secondary 11L07
paper · doi:10.48550/arxiv.2007.05823
We prove a theorem about approximation to an irrational number by rational numbers whose denominator n is free of prime factors bigger than a power of log n. We strengthen the result in version 1 by using an exponential sum over smooth numbers tailored to the application. The new exponent approaches 1/3 as the exponent of log n becomes large.