dirichlets approximation theorem

Input interpretation

Dirichlet's approximation theorem