从一个错误的假设开始，没有证明不出来的命题。a6=-1 也不例外

可以从-20依次排除至-2 ==》必须是-1

从-1开始，依次排除，可以证明a6趋于负无穷。