有理数逼近