Non-Asymptotic Length Generalization