  We give a reciprocity formula for a two-variable sum where the variables
satisfy a linear congruence condition. We also prove that such sum is a measure
of how well a rational is approximable from below and show that the reciprocity
formula is a simple consequence of this fact.
