Choose a shortest accepted word. If its length were at least the number of states, its run would repeat a state. Removing the non-empty loop between the repetitions would preserve the accepting suffix and produce a shorter accepted word, a contradiction.