
We show that any onecounter automaton with $n$ states, if its language is nonempty, accepts some word of length at most $O(n^2)$. This closes the gap between the previously known upper bound of $O(n^3)$ and lower bound of $\Omega(n^2)$. More generally, we prove a tight upper bound on the length of shortest paths between arbitrary configurations in onecounter transition systems (weaker bounds have previously appeared in the literature).