I can prove that the inferior limit exists by using the <a href="http://en.wikipedia.org/wiki/Dirichlet%27s_approximation_theorem">Dirichlet's approximation theorem</a>, but I cannot prove it is $0$.