So first of all, I've got to be careful about the end test. But the second thing is, OK, if it stops whenever this is less than two, am I convinced that this will always halt?

小心最后一次比较,其次，如果少于两个元素程序停止了,我们能确信这总是应该终止的么？,答案是肯定的，因为我在做什么？

麻省理工公开课 - 计算机科学及编程导论课程节选