Let be a badly approximable number, and sum with and . The Cauchy-Schwarz inequality, divisor-square summatory bound and geometric sums give . Separated rotations bound the last sum by , giving the displayed estimate. A hyperbolic cutoff remains valid because the allowed first-variable values after expansion form an interval.