(courtesy of W. Feldman) By passing to the universal cover , the standard mean value inequality implies
|
|
|
Let , which lifts to a point in . Consider the Euclidean ball , where is a parameter to be chosen. Then by the mean value inequality,
|
|
|
Define the subset as the union of all interior lattice cubes, then
|
|
|
and by the lattice periodicity of we have . By partitioning
the integral into the contributions from and ,
|
|
|
By the Lipschitz bound of , the RHS is bounded above by
|
|
|
Choosing gives .
∎