A proof of Dejean's conjecture

Abstract

We prove Dejean's conjecture. Specifically, we show that Dejean's conjecture holds for the last remaining open values of n, namely 15 <= n <= 26.

proof details added

Cited by in corpus (2)

• Combinatorial Characterization of Formal Languages
• Highly nonrepetitive sequences: winning strategies from the local lemma