 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$.