把最优路径值在整行上求和并与下一行比较,可以看出总和的增长必须明显快于线性增长,因为根据鸽笼原理,一行中的最大单个值已经占该行总和的相当大一部分。
令 Sj=∑i=0jf(i,j)S_j=\sum_{i=0}^jf(i,j)Sj=∑i=0jf(i,j)。根据鸽笼原理,第 jjj 行中某一项 f(m,j)f(m,j)f(m,j) 至少等于平均值 Sj/(j+1)S_j/(j+1)Sj/(j+1),把这个最大项重新用于构成它对第 j+1j+1j+1 行的贡献(通过通向它的两条分支,再加上来自第 j+1j+1j+1 行自身红色圆圈的必要的 +1+1+1),就得到递推式 Sj+1≥Sj+⌈Sj/j⌉+1S_{j+1}\ge S_j+\left\lceil S_j/j\right\rceil+1Sj+1≥Sj+⌈Sj/j⌉+1。