就是那个用 $Dilworth$ 定理优化到 $O(n \ \mathrm{log}n)$ 的算法

for(int i = 2; i <= n; i ++) {
	if(f[len] < a[i])
		f[++len] = a[i];
   else
		*lower_bound(f+1, f+1+len, a[i]) = a[i];
}

求的是 $len$，然而从代码来看， $len$ 的变化只和 $f[len]$ 有关，那为什么下面的 else 还要修改 $f[len]$ 以前的数值呢