Diophantine approximation
A corollary on Diophantine approximation.