Recently i'm reading "Cryptographically Strong de Bruijn Sequences
with Large Periods" . In the section 2 2.1 Basic Definitions and Properties , property 1 says that $$2n<LS_s\leq2^n-2$$ for a span $n$ sequence. The author claims that this bound comes from "Characterizations of Generators for Modified de Bruijn Sequences". I go through it, but i never find this bound in it.
I wonder how this bound comes? Can someone prove it? Or does someone know some related paper about it? thanks ..
