This proof is known as Dirichlet’s approximation theorem. At first blush, it only guarantees a single 2-good approximation for every real. Worse yet, the solution guaranteed by the proof might not comply with the rules of our game, because nothing stops it from producing exact approximations (ε = 0). So, what did we achieve?
Максим Габриелян (ведущий редактор отдела «Мир»)
，这一点在Line官方版本下载中也有详细论述
Paul Mescal, Hamnet
Because of generic functions, there will be plenty of cases where we