最近有理逼近

closest rational approximation