is a necessary and sufficient condition that for almost all real x there are infinitely
many positive integers n which satisfy |x − a∕n| < αnn−1 with (a,n) = 1. The
necessity of the condition is well known. We prove that the condition is also sufficient
if αn= O(n−1).