Closest rational approximation