这里说了原前缀必须是Q+Q的前缀，也就是说Q+Q的长必须比原前缀的长要大;而Q的长实际上是该语句

while(fail[j]) j=fail[j];

循环到底后的（i-j)的长,如何保证其两倍一定比原前缀长要大？