We prove that, for all integers k exceeding some effectively computable number K, the distance from (3/2)k to the nearest integer is greater than 0.5803k.
History
Journal title
Journal de Theorie des Nombres de Bordeaux
Volume
19
Issue
1
Pagination
311-323
Publisher
Universite de Bordeaux I, Centre de Recherces en Mathematiques