MathDB
d(r) = distance of the nearest lattice point from circle (O,r)

Source: 1973 Hungary - Kürschák Competition p2

October 15, 2022
combinatoricscombinatorial geometrylattice

Problem Statement

For any positive real rr, let d(r)d(r) be the distance of the nearest lattice point from the circle center the origin and radius rr. Show that d(r)d(r) tends to zero as rr tends to infinity.