以实数 "x" 为变量的函数族 ƒ("x") 的下包络线（）可用这族函数逐点取的最小值来描述。我们假定这族函数都非常理想化：它们都是连续的，而且它们之中任意两个函数都只能在最多 "s" 个自变量取值处相等。有了这些假设，我们就可以把实数轴划分为有限个区间，使得在每一个这样的区间当中，都存在一个函数，其值比其他任何函数的值都要小。用某个区间上值最小的函数为该区间标上号，这些区间所形成的序列就是一个 "s" 阶 达文波特-欣策尔序列。因此，"s" 阶 达文波特-欣策尔序列长度的上界也就是下包络线在这种表示方