Diophantine approximation
As discussed in , the well-known Diophantine approximation and far better upper estimate for follows from the relation