A congruence sum and rational approximations