Davenport-Schinzel sequence