rational approximation with bounded denominator