Best rational approximation
= Best rational approximation
A reduced fraction $p/q$ is a best rational approximation of the first kind to a <real number> $\alpha$ when no rational number with denominator at most $q$ is closer to $\alpha$.
= Best rational approximation
A reduced fraction $p/q$ is a best rational approximation of the first kind to a <real number> $\alpha$ when no rational number with denominator at most $q$ is closer to $\alpha$.