Further cleanup; generalised definition of a Sturm sequence and used "eventually" instead of ugly ε notation.