Dirichlet%27s approximation theorem