ByNobleID
    Dejean's conjecture holds for n >= 30 | NobleID