1: \begin{abstract}
2: We prove that all elements of infinite order in $Out(F_n)$ have positive
3: translation lengths; moreover, they are bounded away from zero. Consequences
4: include a new proof that solvable subgroups of $Out(F_n)$ are finitely
5: generated and virtually abelian and the new result that such subgroups are
6: quasi-convex.
7: \end{abstract}
8: