ディオファントス近似
Given a real number , there are two ways to define a best Diophantine approximation of . For the first definition, the rational number is a "best Diophantine approximation" of if